10707 search results - page 60 / 2142 » Designing executable abstractions |
121
Voted
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
99
Voted
ISCA
2008
IEEE
15 years 9 months ago
2008
IEEE
Multicore processors have emerged as a powerful platform on which to efficiently exploit thread-level parallelism (TLP). However, due to Amdahl’s Law, such designs will be incr...
134
click to vote
IAW
2003
IEEE
15 years 8 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
105
click to vote
FCCM
1998
IEEE
15 years 7 months ago
1998
IEEE
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
114
Voted
CBMS
2007
IEEE
15 years 9 months ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...