6201 search results - page 919 / 1241 » Implementation of Axiomatic Language |
171
click to vote
ICDCS
2005
IEEE
16 years 11 days ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...
148
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
175
click to vote
WORDS
2005
IEEE
16 years 10 days ago
2005
IEEE
Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding of multiple low-level kernel mechanisms. Indeed, implementing a new ...
135
click to vote
ASPDAC
2005
ACM
16 years 10 days ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
158
click to vote
PASTE
2005
ACM
16 years 10 days ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...