3507 search results - page 385 / 702 » Specialized execution environments |
182
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
183
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...
169
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
167
click to vote
APWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Although most existing teamwork management systems support userfriendly interface to some extent, few of them have take into consideration of the special requirements of ...
168
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...