684 search results - page 34 / 137 » Requirements for an Elucidative Programming Environment |
132
Voted
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
113
Voted
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
124
click to vote
WAC
2005
Springer
15 years 9 months ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
131
click to vote
RTAS
1995
IEEE
15 years 7 months ago
1995
IEEE
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
137
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...