2205 search results - page 205 / 441 » Mutation Operators for Specifications |
ANSS
2001
IEEE
15 years 6 months ago
2001
IEEE
Different switching techniques have been proposed to design optical switch architectures. Wave Division Multiplexing (WDM) techniques were extensively investigated to implement sw...
115
Voted
CASES
2001
ACM
15 years 6 months ago
2001
ACM
It is widely acknowledged that even as VLSI technology advances, there is a looming crisis that is an important obstacle to the widespread deployment of mobile embedded devices, n...
129
click to vote
ASAP
2000
IEEE
15 years 6 months ago
2000
IEEE
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded proces...
161
Voted
DEXA
2000
Springer
15 years 6 months ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
127
Voted
WADT
1998
Springer
15 years 6 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...