10055 search results - page 343 / 2011 » Structured programming using processes |
90
Voted
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
106
Voted
OHS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...
112
click to vote
TPHOL
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
130
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
107
click to vote
ICCAD
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...