Sciweavers

6239 search results - page 1127 / 1248
» From Zinc to Design Model
Sort
View
ASM
2010
ASM
14 years 5 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
ICRA
2008
IEEE
147views Robotics» more  ICRA 2008»
14 years 5 months ago
Swimming capsule endoscope using static and RF magnetic field of MRI for propulsion
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...
Gabor Kosa, Peter Jakab, Ferenc A. Jolesz, Nobuhik...
MICRO
2008
IEEE
114views Hardware» more  MICRO 2008»
14 years 5 months ago
Toward a multicore architecture for real-time ray-tracing
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
Venkatraman Govindaraju, Peter Djeu, Karthikeyan S...
INFOCOM
2007
IEEE
14 years 5 months ago
A Constant Approximation Algorithm for Interference Aware Broadcast in Wireless Networks
— Broadcast protocols play a vital role in multihop wireless networks. Due to the broadcast nature of radio signals, a node’s interference range can be larger than its transmis...
Zhenming Chen, Chunming Qiao, Jinhui Xu, Taekkyeun...
ISPASS
2007
IEEE
14 years 5 months ago
A Comparison of Two Approaches to Parallel Simulation of Multiprocessors
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
Andrew Over, Bill Clarke, Peter E. Strazdins
« Prev « First page 1127 / 1248 Last » Next »