6239 search results - page 27 / 1248 » From Zinc to Design Model |
DAC
1999
ACM
15 years 10 months ago
1999
ACM
A 550MHz 64b PowerPC processor was developed for fabrication in Silicon-On-Insulator (SOI) technology from a processor previously designed and fabricated in bulk CMOS [1]. Both th...
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Generic camera modeling using raxels and associated methods was recently introduced in Computer Vision. The main advantage is the applicability for any camera model, which contras...
WCNC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we present our study of extracting a mobility model for vehicular ad hoc networks (VANETs) from a large amount of real taxi GPS trace data. In order to capture char...
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...