557 search results - page 90 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract—Power management is an essential component of any electrical system, and nowadays a limiting factor in the miniaturization of portable electronic devices. Not only are t...
VLSID
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract—Integrated power supplies are critical building blocks in stateof-the-art portable applications, where they efficiently and accurately transform a battery supply into va...
123
click to vote
TOPNOC
2010
14 years 4 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
ARC
2010
Springer
14 years 10 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...