1271 search results - page 88 / 255 » On Simulation-Checking with Sequential Systems |
127
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The research reported in this paper employed Narrative Inquiry in an innovative way in a study of the key factors that influence the career paths of information systems (IS) profe...
164
click to vote
ICAT
2003
IEEE
15 years 10 months ago
2003
IEEE
A basic problem with Augmented Reality systems using Head-Mounted Displays (HMDs) is the perceived latency or lag. This delay corresponds to the elapsed time between the moment wh...
149
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
The MultiNoC system implements a programmable onchip multiprocessing platform built on top of an efficient, low area overhead intra-chip interconnection scheme. The employed inter...
179
Voted
CCGRID
2001
IEEE
15 years 9 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
148
click to vote
FORTE
2003
15 years 7 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...