409 search results - page 50 / 82 » Functional Validation of Programmable Architectures |
MICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
ICCCN
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Many next-generation Internet architectures propose advanced packet processing functions in the data path of the network. Such “services” are typically performed on ...
APN
2008
Springer
13 years 11 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...