4722 search results - page 577 / 945 » Encoding Program Executions |
121
click to vote
IMSCCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The computer architecture of Single-chip multiprocessor (SCMP) is one of important research topics in developing the next-generation of computer hardware. A verification environme...
104
click to vote
TRIDENTCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
- Rendezvous among experiment entities appear in network experiments both implicitly and explicitly. When the driving system for a network experiment testbed supports such rendezvo...
134
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
137
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
101
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
We discuss the problem of scheduling tasks that consume uncertain amounts of a resource with known capacity and where the tasks have uncertain utility. In these circumstances, we w...