6960 search results - page 762 / 1392 » Continuity Analysis of Programs |
172
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
164
click to vote
APSEC
2005
IEEE
16 years 25 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
179
click to vote
DIGRA
2005
Springer
16 years 22 days ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
189
click to vote
OOPSLA
2005
Springer
16 years 21 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
189
click to vote
APLAS
2004
ACM
16 years 19 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...