4836 search results - page 703 / 968 » Exploring the Similarity Space |
208
click to vote
IFIP
2004
Springer
16 years 20 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
166
click to vote
NIME
2004
Springer
16 years 20 days ago
2004
Springer
The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques...
229
click to vote
SEMWEB
2004
Springer
16 years 19 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
224
click to vote
CODES
2003
IEEE
16 years 18 days ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
173
click to vote
DATE
2003
IEEE
16 years 18 days ago
2003
IEEE
On-chip communication design includes designing software (SW) parts (operating system, device drivers, interrupt service routines, etc.) as well as hardware (HW) parts (on-chip co...