3168 search results - page 182 / 634 » Computing Event Dependencies in System Designs and Programs |
162
click to vote
IOR
2006
15 years 6 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
161
click to vote
WSC
1997
15 years 7 months ago
1997
We present a novel adaptive synchronization algorithm, called the minimum average cost (MAC) algorithm, in the context of the ParaSol parallel simulation system. ParaSol is a mult...
150
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Informal, sketch-based design tools closely match the work practices of user interface designers. Current tools, however, are limited in the size and complexity of interaction tha...
165
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
178
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...