Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
by Subject
Topic A - General Literature
Topic B - Hardware
Topic C - Computer Systems Organization
Topic D - Software
Topic E - Data
Topic F - Theory of Computation
Topic G - Mathematics of Computing
Topic H - Information Systems
Topic I - Computing Methodologies
Topic J - Computer Applications
Topic K - Computing Milieux
Topic L - Science and Technology of Learning
Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
Research Article
(2648)
Editorial
(401)
by Journal
by Funding Agency
Clear filters
Powered by
634 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Filter By:
Subject: Topic D - Software
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
31
32
33
34
35
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems
Andrei Formiga
,
Rafael Lins
10.3217/jucs-013-06-0817
28-06-2007
Unique: 383 | Total: 482
| Access Period:
817-829
HTML
XML
PDF
Research Article
Programming through Spreadsheets and Tabular Abstractions
Carlos Henrique Q. Forster
10.3217/jucs-013-06-0806
28-06-2007
Unique: 371 | Total: 458
| Access Period:
806-816
HTML
XML
PDF
Research Article
RE-AspectLua - Achieving Reuse in AspectLua
Thaís Batista
,
Maurício Vieira
10.3217/jucs-013-06-0786
28-06-2007
Unique: 315 | Total: 363
| Access Period:
786-805
HTML
XML
PDF
Research Article
A Visual Language for Animated Simulation
Vladimir O. Di Iorio
,
Débora Coura
,
Leonardo Reis
,
Marcelo Oikawa
,
Carlos Junior
10.3217/jucs-013-06-0767
28-06-2007
Unique: 439 | Total: 539
| Access Period:
767-785
HTML
XML
PDF
Research Article
Optimized Compilation of Around Advice for Aspect Oriented Programs
Eduardo Cordeiro
,
Roberto Bigonha
,
Mariza Andrade Silva Bigonha
,
Fabio Tirelo
10.3217/jucs-013-06-0753
28-06-2007
Unique: 371 | Total: 442
| Access Period:
753-766
HTML
XML
PDF
Research Article
A Methodology for Removing LALR(k) Conflicts
Leonardo Passos
,
Mariza Andrade Silva Bigonha
,
Roberto Bigonha
10.3217/jucs-013-06-0737
28-06-2007
Unique: 400 | Total: 472
| Access Period:
737-752
HTML
XML
PDF
Research Article
Logic Programming for Verification of Object-Oriented Programming Law Conditions
Leandro De Freitas
,
Marcel Caraciolo
,
Márcio Cornélio
10.3217/jucs-013-06-0721
28-06-2007
Unique: 352 | Total: 415
| Access Period:
721-736
HTML
XML
PDF
Research Article
Constraint Programming Architectures: Review and a New Proposal
Jacques Robin
,
Jairson Vitorino
,
Armin Wolf
10.3217/jucs-013-06-0701
28-06-2007
Unique: 410 | Total: 516
| Access Period:
701-720
HTML
XML
PDF
Research Article
CML: C Modeling Language
Frederico Jr.
,
Ricardo Lima
,
Marcio Cornelio
,
Sergio Soares
,
Paulo Maciel
,
Raimundo Barreto
,
Eduardo Tavares
10.3217/jucs-013-06-0682
28-06-2007
Unique: 437 | Total: 506
| Access Period:
682-700
HTML
XML
PDF
Research Article
Realising the Benefits of Formal Methods
Anthony Hall
10.3217/jucs-013-05-0669
28-05-2007
Unique: 324 | Total: 363
| Access Period:
669-678
HTML
XML
PDF
Research Article
The Verification Grand Challenge
Jim Woodcock
,
Richard Banach
10.3217/jucs-013-05-0661
28-05-2007
Unique: 406 | Total: 508
| Access Period:
661-668
HTML
XML
PDF
Research Article
Automated Formal Methods Enter the Mainstream
John Rushby
10.3217/jucs-013-05-0650
28-05-2007
Unique: 348 | Total: 428
| Access Period:
650-660
HTML
XML
PDF
31
32
33
34
35
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK