2550 search results - page 116 / 510 » The Meaning of Open Standards |
143
click to vote
MEMOCODE
2005
IEEE
16 years 1 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
143
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Nowadays computer graphics hardware presents a series of characteristics, such as AGP memory, vertex cache, etc., that can be used for real-time rendering. The aim of thi...
145
click to vote
DAPSYS
2004
Springer
15 years 12 months ago
2004
Springer
Todays computational grids are used mostly for batch processing and throughput computing, where jobs are submitted to a queue, processed, and finally delivered for post-mortem an...
150
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
168
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Current Augmented Reality (AR) applications require that the application software be written to support a specific AR interface set up. WireAR was developed to enable output from...