3564 search results - page 547 / 713 » Evaluating a Formal Modelling Language |
92
Voted
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
110
Voted
CAV
2004
Springer
15 years 2 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
82
Voted
ICWS
2009
IEEE
15 years 7 months ago
2009
IEEE
Algorithms for composing Web services (WS) traditionally utilize the functional and quality-of-service parameters of candidate services to decide which services to include in the ...
ICSEA
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...