1497 search results - page 211 / 300 » Extended static checking |
98
Voted
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
Procrastination scheduling has gained importance for energy efficiency due to the rapid increase in the leakage power consumption. Under procrastination scheduling, task executio...
125
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
104
click to vote
FPL
2000
Springer
15 years 4 months ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
86
Voted
IJCAI
2007
15 years 2 months ago
2007
Recently, generative probabilistic modeling principles were extended to visualization of structured data types, such as sequences. The models are formulated as constrained mixture...
115
click to vote
AAMAS
2004
Springer
15 years 17 days ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...