Sciweavers

2844 search results - page 360 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
VRML
2004
ACM
15 years 12 months ago
Interactive Web-based visualisation of block model data
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
Tony Gill, Con Caris, Guy LeBlanc Smith
POPL
1999
ACM
15 years 11 months ago
Typed Memory Management in a Calculus of Capabilities
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
Karl Crary, David Walker, J. Gregory Morrisett
DAC
2007
ACM
16 years 7 months ago
Towards An Ultra-Low-Power Architecture Using Single-Electron Tunneling Transistors
Minimizing power consumption is vitally important in embedded system design; power consumption determines battery lifespan. Ultralow-power designs may even permit embedded systems...
Changyun Zhu, Zhenyu (Peter) Gu, Li Shang, Robert ...
SIGSOFT
2008
ACM
16 years 7 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
VTC
2008
IEEE
203views Communications» more  VTC 2008»
16 years 28 days ago
A Dual-Band HF / UHF Antenna for RFID Tags
—Conventional RFID (radio frequency identification) systems operating at one single carrier frequency can hardly handle the great variety of shapes and materials that occur in p...
Lukas W. Mayer, Arpad L. Scholtz