3172 search results - page 246 / 635 » Combining Specification Techniques for Processes, Data and T... |
163
click to vote
VTS
2002
IEEE
15 years 11 months ago
2002
IEEE
The testing time for a system-on-chip (SOC) is determined to a large extent by the design of test wrappers and the test access mechanism (TAM). Wrapper/TAM co-optimization is ther...
184
click to vote
LCTRTS
2007
Springer
16 years 23 days ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
172
click to vote
AICCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
197
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Phoenix is a fault-tolerantreal-time network-attachedstorage device (NASD). Like other NASD architectures, Phoenix provides an object-based interface to data stored on network-att...
180
click to vote
EMNLP
2010
15 years 4 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...