1704 search results - page 208 / 341 » Design of a Concurrent and Distributed Language |
140
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
142
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
142
Voted
ESM
1998
15 years 4 months ago
1998
This paper introduces a dynamics simulator designed to aid the development of control algorithms for biologically inspired robots. We describe the simulator and a two-tier framewo...
142
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
169
Voted
MOBISYS
2006
ACM
16 years 3 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...