4117 search results - page 557 / 824 » On the Satisfiability of Complex Constraints |
168
click to vote
RTCSA
2006
IEEE
16 years 23 days ago
2006
IEEE
ILP (Instruction Level Parallelism) processors are being increasingly used in embedded systems. In embedded systems, instructions may be subject to timing constraints. An optimisi...
175
click to vote
ISLPED
2005
ACM
16 years 10 days ago
2005
ACM
Network-on-chip (NoC) has been proposed as a solution for the global communication challenges of System-on-chip (SoC) design in the nanoscale technologies. NoC design with mesh ba...
203
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Coalition formation methods allow agents to join together and are thus necessary in cases where tasks can only be performed cooperatively by groups. This is the case in the Reques...
174
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
173
click to vote
NGC
2000
Springer
15 years 10 months ago
2000
Springer
We examine the use of a hop-limit constraint with techniques to provide survivability for connection-oriented ATM group communications. A hop-limit constraint is an approach that ...