Sciweavers

1760 search results - page 27 / 352
» A System to Mark Programs Automatically
Sort
View
ASPLOS
1998
ACM
14 years 1 months ago
Data Speculation Support for a Chip Multiprocessor
Thread-level speculation is a technique that enables parallel execution of sequential applications on a multiprocessor. This paper describes the complete implementation of the sup...
Lance Hammond, Mark Willey, Kunle Olukotun
FGR
2004
IEEE
136views Biometrics» more  FGR 2004»
14 years 17 days ago
Advances in Automatic Gait Recognition
Automatic recognition by gait is subject to increasing interest and has the unique capability to recognize people at a distance when other biometrics are obscured. Its interest is...
Mark S. Nixon, John N. Carter
SIGCSE
1992
ACM
178views Education» more  SIGCSE 1992»
14 years 27 days ago
A graphical computer simulator for systems programming courses
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
Mark Newsome, Cherri M. Pancake
BMCBI
2005
163views more  BMCBI 2005»
13 years 8 months ago
Alkahest NuclearBLAST: a user-friendly BLAST management and analysis system
Background -: Sequencing of EST and BAC end datasets is no longer limited to large research groups. Drops in per-base pricing have made high throughput sequencing accessible to in...
Stephen E. Diener, Thomas D. Houfek, Sam E. Kalat,...
ACSD
2004
IEEE
102views Hardware» more  ACSD 2004»
14 years 18 days ago
Arrays and Contracts for the Specification and Analysis of Regular Systems
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
Florence Maraninchi, Lionel Morel