1481 search results - page 171 / 297 » Enriching the Software Development Process by Formal Methods |
144
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The new standard DRM for digital radio broadcast in AM band requires integrated devices for radio receivers at low cost and very low power consumption. A chipset is currently desi...
129
Voted
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
136
Voted
DM
2002
15 years 3 months ago
2002
This paper provides an overview of methods and systems developed for record linkage. Modern record linkage begins with the pioneering work of Newcombe and is especially based on t...
148
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
198
click to vote
JUCS
2008
15 years 3 months ago
2008
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...