Sciweavers

942 search results - page 148 / 189
» Interrupt Timed Automata
Sort
View
CORR
2008
Springer
99views Education» more  CORR 2008»
13 years 9 months ago
The meaning of concurrent programs
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
Victor Yodaiken
CG
2006
Springer
13 years 8 months ago
Approximate collision response using closest feature maps
In this paper we consider the novel idea of closest feature maps (CFMs) applied to refinable collision response in order to address the potential issues and problems associated wi...
Thanh Giang, Carol O'Sullivan
ISCA
2008
IEEE
136views Hardware» more  ISCA 2008»
13 years 8 months ago
The Design and Performance of a Bare PC Web Server
There is an increasing need for new Web server architectures that are application-centric, simple, small, and pervasive in nature. In this paper, we present a novel architecture f...
Long He, Ramesh K. Karne, Alexander L. Wijesinha
COGSCI
2002
60views more  COGSCI 2002»
13 years 8 months ago
Memory for goals: an activation-based model
Goal-directed cognition is often discussed in terms of specialized memory structures like the "goal stack." The goal-activation model presented here analyzes goal-direct...
Erik M. Altmann, J. Gregory Trafton
PUC
2007
164views more  PUC 2007»
13 years 8 months ago
Designing home availability services
Abstract We have explored the challenges of designing domestic services to help family and friends determine mutually agreeable times to call. In our first study, we identified a...
Kristine S. Nagel, Ja-Young Sung, Gregory D. Abowd