1102 search results - page 69 / 221 » Generalizing Updates: From Models to Programs |
102
click to vote
PPPJ
2006
ACM
15 years 6 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
88
Voted
ICLP
1997
Springer
15 years 3 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
117
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
110
click to vote
ALC
1997
15 years 1 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
101
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...