Sciweavers

3901 search results - page 492 / 781
» software 2008
Sort
View
CODES
2008
IEEE
15 years 8 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
Heon-Mo Koo, Prabhat Mishra
COMPSAC
2008
IEEE
15 years 8 months ago
Fabrication of Ontology for Security in Health Care Systems
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....
J. Indumathi, G. V. Uma
EUROSPI
2008
Springer
15 years 8 months ago
Lightweight Process Documentation: Just Enough Structure in Automotive Pre-development
Pre-development in the automotive sector is informally organized to support the engineers trying out new ideas and generally being creative. If feasibility studies reveal system�...
Kai Stapel, Eric Knauss, Christian Allmann
EUROSYS
2008
ACM
15 years 8 months ago
Efficient guaranteed disk request scheduling with fahrrad
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
Anna Povzner, Tim Kaldewey, Scott A. Brandt, Richa...
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 6 months ago
Audit and Change Analysis of Spreadsheets
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
John C. Nash, Neil Smith, Andy Adler