2335 search results - page 131 / 467 » Type Checking Type Classes |
RTSS
2006
IEEE
14 years 3 months ago
2006
IEEE
The simple notion of soft real-time processing has fractured into a spectrum of diverse soft real-time types with a variety of different resource and time constraints. Schedulers ...
WISE
2002
Springer
14 years 2 months ago
2002
Springer
We propose to use object-relational database management systems to store and manage semi-structured data. ORA-SS (Object-Relationship-Attribute model for Semi-Structured data) [9]...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
QSIC
2007
IEEE
14 years 3 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
FORMATS
2004
Springer
14 years 2 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...