6274 search results - page 559 / 1255 » Proofs, Programs, Processes |
194
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Recent efforts in adapting computer networks into system-on-chip (SOC), or network-on-chip, present a setback to the traditional computer systems for the lack of effective program...
220
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
186
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
188
click to vote
IFIP
2005
Springer
16 years 29 days ago
2005
Springer
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
169
click to vote
ECAI
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...