1965 search results - page 57 / 393 » On the analysis of interacting pushdown systems |
163
Voted
CODES
2007
IEEE
16 years 3 days ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
193
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
174
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
163
click to vote
DATE
2008
IEEE
16 years 7 days ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
178
click to vote
CHI
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents MouseTrack as a web logging system that tracks mouse movements on websites. The system includes a visualization tool that displays the mouse cursor path follow...