6201 search results - page 1162 / 1241 » Implementation of Axiomatic Language |
163
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
115
click to vote
CGO
2008
IEEE
15 years 11 months ago
2008
IEEE
In the embedded domain, custom hardware in the form of ASICs is often used to implement critical parts of applications when performance and energy efficiency goals cannot be met ...
134
Voted
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
138
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Alcatel-Lucent is a major player in the eld of telecommunications. One of the products it oers to network operators is wireless infrastructure such as base stations. Su...
153
click to vote
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...