1338 search results - page 226 / 268 » Consistent Code Generation from UML Models |
127
Voted
TITB
2010
14 years 9 months ago
2010
Thoracic electrical impedance tomography (EIT) is a noninvasive, radiation-free monitoring technique whose aim is to reconstruct a cross-sectional image of the internal spatial dis...
133
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
—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 ...
111
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Hosts infected with malicious software, so called malware, are ubiquitous in today’s computer networks. The means whereby malware can infiltrate a network are manifold and rang...
101
Voted
CASES
2009
ACM
15 years 9 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
106
click to vote
FOCS
2003
IEEE
15 years 7 months ago
2003
IEEE
We initiate a general study of pseudo-random implementations of huge random objects, and apply it to a few areas in which random objects occur naturally. For example, a random obj...