Sciweavers

2607 search results - page 354 / 522
» On the Architecture of System Verification Environments
Sort
View
JIRS
2000
144views more  JIRS 2000»
15 years 6 months ago
An Integrated Approach of Learning, Planning, and Execution
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
Ramón García-Martínez, Daniel...
DAC
2003
ACM
16 years 7 months ago
A retargetable micro-architecture simulator
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
Wai Sum Mong, Jianwen Zhu
SIGMOD
2008
ACM
154views Database» more  SIGMOD 2008»
16 years 6 months ago
SEMMO: a scalable engine for massively multiplayer online games
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...
Nitin Gupta 0003, Alan J. Demers, Johannes Gehrke
MOBISYS
2003
ACM
16 years 6 months ago
Service-Oriented Network Sockets
3], in that it integrates a service-oriented abstraction with the operating system socket interface and provides adaptive service access at the end-host session layer. However, our...
Umar Saif, Justin Mazzola Paluska
MOBIDE
2005
ACM
16 years 4 days ago
DAIMON: data integration for a mobile network
We describe the DAIMON system for data integration of nomadic data. DAIMON is based on an extension of the mediator-wrapper architecture, where each node is a mediator of its own ...
Constantinos V. Katsaros, Ioannis L. Niarhos, Vasi...