4190 search results - page 313 / 838 » Implementing commitment-based interactions |
167
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
135
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
IP forwarding is one of the main bottlenecks in Internet backbone routers, as it requires performing the longest-prefix match at 10Gbps speed or higher. IPv6 forwarding further ex...
144
click to vote
SI3D
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we propose a new technique for hardware accelerated multi-resolution geometry synthesis. The level of detail for a given viewpoint is created on-the-fly, allowing f...
135
click to vote
AUIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Group awareness has become important in improving the usability of real-time, distributed, collaborative writing systems. However, the current set of implemented awareness mechani...
140
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...