3365 search results - page 421 / 673 » Digital System Design: Architectures, Methods and Tools |
169
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
174
click to vote
ASPLOS
2006
ACM
16 years 17 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
203
click to vote
IEAAIE
2000
Springer
15 years 10 months ago
2000
Springer
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...
191
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
-- The Legion Grid Portal is an interface to a grid system. Users interact with the portal, and hence a grid through an intuitive interface from which they can view files, submit a...
198
click to vote
VRST
2005
ACM
16 years 5 days ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...