Sciweavers

1760 search results - page 27 / 352
» A System to Mark Programs Automatically
Sort
View
ASPLOS
1998
ACM
15 years 4 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»
15 years 3 months 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»
15 years 3 months 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»
14 years 11 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»
15 years 3 months 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