565 search results - page 25 / 113 » Compositional dynamic test generation |
111
click to vote
MIPS
2004
Springer
15 years 7 months ago
2004
Springer
We present the development and experimentation of a distributed system for pervasive video communication on gigabit networks. We have implemented an event-based control mechanism f...
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
133
click to vote
AAAI
2000
15 years 3 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
102
Voted
TEC
2002
15 years 1 months ago
2002
Most applications of evolutionary algorithms (EAs) deal with static optimization problems. However, in recent years, there has been a growing interest in timevarying (dynamic) prob...
211
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...