278 search results - page 21 / 56 » A Framework for Counterexample Generation and Exploration |
104
click to vote
RTCSA
2007
IEEE
15 years 6 months ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...
AIR
2004
15 years 9 days ago
2004
Abstract. In this work we study an over-constrained scheduling problem where constraints cannot be relaxed. This problem originates from a local defense agency where activities to ...
99
Voted
ICDM
2009
IEEE
14 years 10 months ago
2009
IEEE
Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. Ensemble data sets combine spatio-temporal simulation results generated using mu...
114
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
111
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...