Sciweavers

954 search results - page 68 / 191
» Principles and Models for Organizing the IT Function
Sort
View
ALIFE
2011
12 years 11 months ago
Untethered Hovering Flapping Flight of a 3D-Printed Mechanical Insect
This project focuses on developing a flapping-wing hovering insect using 3D printed wings and mechanical parts. The use of 3D printing technology has greatly expanded the possibi...
Charles Richter, Hod Lipson
ISCA
1998
IEEE
139views Hardware» more  ISCA 1998»
13 years 12 months ago
Simultaneous Multithreading: Maximizing On-Chip Parallelism
This paper examines simultaneous multithreading, a technique permitting several independent threads to issue instructions to a superscalar's multiple functional units in a si...
Dean M. Tullsen, Susan J. Eggers, Henry M. Levy
ETELEMED
2009
IEEE
164views Healthcare» more  ETELEMED 2009»
13 years 5 months ago
Research Challenges for Achieving Healthcare Business Process Interoperability
- E-Health systems' interoperability constitutes one of the main challenges of the IT society. E-Health interoperability will not occur without a shared policy and a process f...
Dimitrios Alexandrou, Gregoris Mentzas
APLAS
2007
ACM
13 years 11 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel
HPDC
1996
IEEE
13 years 12 months ago
The Core Legion Object Model
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
Michael J. Lewis, Andrew S. Grimshaw