15885 search results - page 2610 / 3177 » The Modest Software Engineer |
163
click to vote
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
186
click to vote
EMSOFT
2005
Springer
16 years 17 days ago
2005
Springer
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
175
click to vote
EUROSPI
2005
Springer
16 years 17 days ago
2005
Springer
In agile methodologies communication between programmers is very important. Some of them (e.g. XP or Crystal Clear) recommend pair programming. There are two styles of pair program...
185
click to vote
FOSSACS
2005
Springer
16 years 17 days ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
193
click to vote
FOSSACS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...