Sciweavers

4242 search results - page 1 / 849
» An Event Spacing Experiment
Sort
View
ASYNC
2002
IEEE
90views Hardware» more  ASYNC 2002»
13 years 10 months ago
An Event Spacing Experiment
Events in self-timed rings can propagate evenly spaced or as bursts. By studying these phenomena, we obtain a better understanding of the underlying dynamics of self-timed pipelin...
Mark R. Greenstreet, Anthony Winstanley, Aurelien ...
NFM
2011
264views Formal Methods» more  NFM 2011»
13 years 6 days ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
ICMCS
2008
IEEE
164views Multimedia» more  ICMCS 2008»
13 years 11 months ago
Semantic event detection for consumer photo and video collections
The automatic detection of semantic events in users’ image and video collections is an important technique for content management and retrieval. In this paper we propose a novel...
Wei Jiang, Alexander C. Loui
NETGAMES
2005
ACM
13 years 10 months ago
A distributed event delivery method with load balancing for MMORPG
In this paper, we propose a new distributed event delivery method for MMORPG (Massively Multiplayer Online Role Playing Games). In our method, the whole game space is divided into...
Shinya Yamamoto, Yoshihiro Murata, Keiichi Yasumot...
ESTIMEDIA
2007
Springer
13 years 11 months ago
Signature-based Microprocessor Power Modeling for Rapid System-level Design Space Exploration
This paper presents a technique for high-level power estimation of microprocessors. The technique, which is based on abstract execution profiles called ’event signatures’, op...
Peter van Stralen, Andy D. Pimentel