3954 search results - page 570 / 791 » Image-based Model Completion |
185
click to vote
MICRO
2005
IEEE
16 years 18 days ago
2005
IEEE
We introduce techniques to support efficient non-atomic execution of very long traces on a new binary translation based, x86-64 compatible VLIW microprocessor. Incrementally comm...
185
click to vote
SBACPAD
2005
IEEE
16 years 18 days ago
2005
IEEE
The time required to simulate a complete benchmark program using the cycle-accurate model of a microprocessor can be prohibitively high. One of the proposed methodologies, represe...
198
click to vote
CEEMAS
2005
Springer
16 years 17 days ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
184
click to vote
IPTPS
2005
Springer
16 years 16 days ago
2005
Springer
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...
211
Voted
MIDDLEWARE
2004
Springer
16 years 11 days ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...