979 search results - page 164 / 196 » Automated Environment Generation for Software Model Checking |
171
click to vote
GECCO
2007
Springer
16 years 1 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
140
click to vote
IJES
2006
15 years 5 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
154
click to vote
VLSI
2005
Springer
15 years 11 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
172
click to vote
DASFAA
2009
IEEE
16 years 20 days ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
169
click to vote
DEBS
2010
ACM
15 years 9 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...