Sciweavers

731 search results - page 138 / 147
» Study on Architecture of Photogrammetric Parallel Processing...
Sort
View
ISCA
2008
IEEE
142views Hardware» more  ISCA 2008»
14 years 3 months ago
Improving NAND Flash Based Disk Caches
Flash is a widely used storage device that provides high density and low power, appealing properties for general purpose computing. Today, its usual application is in portable spe...
Taeho Kgil, David Roberts, Trevor N. Mudge
BC
1998
84views more  BC 1998»
13 years 8 months ago
Stimulus-induced bifurcations in discrete-time neural oscillators
Abstract. Based on theoretical issues and neurobiological evidence, considerable interest has recently focused on dynamic computational elements in neural systems. Such elements re...
Ali A. Minai, Tirunelveli Anand
ESEC
1997
Springer
14 years 22 days ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
NSDI
2007
13 years 11 months ago
An Experimentation Workbench for Replayable Networking Research
The network and distributed systems research communities have an increasing need for “replayable” research, but our current experimentation resources fall short of reaching th...
Eric Eide, Leigh Stoller, Jay Lepreau
IAJIT
2011
13 years 22 hour ago
An RFID-based validation system for halal food
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...
Mohd Nasir, Azah Norman, Shukor Fauzi, Masliyana A...