1237 search results - page 179 / 248 » Strictness and Totality Analysis |
163
click to vote
JTRES
2009
ACM
16 years 9 days ago
2009
ACM
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
139
click to vote
DSN
2008
IEEE
16 years 8 days ago
2008
IEEE
Conventional processor fault tolerance based on time/space redundancy is robust but prohibitively expensive for commodity processors. This paper explores an unconventional approac...
159
click to vote
FGR
2008
IEEE
16 years 8 days ago
2008
IEEE
Linear Discriminant Analysis (LDA) has been a popular method for feature extracting and face recognition. As a supervised method, it requires manually labeled samples for training...
167
Voted
ICDCS
2008
IEEE
16 years 7 days ago
2008
IEEE
Many event-driven localization methods have been proposed as low cost, energy efficient solutions for wireless senor networks. In order to eliminate the requirement of accurately...
175
click to vote
IPPS
2008
IEEE
16 years 6 days ago
2008
IEEE
One of the most commonly used tools by computational biologists is some form of sequence alignment. Heuristic alignment algorithms developed for speed and their multiple results s...