1271 search results - page 88 / 255 » On Simulation-Checking with Sequential Systems |
HICSS
2003
IEEE
14 years 4 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...
ICAT
2003
IEEE
14 years 4 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...
DATE
2004
IEEE
14 years 2 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...
CCGRID
2001
IEEE
14 years 2 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...
FORTE
2003
14 years 4 days 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...