Evaluation techniques for creating software systems that are both very large and very high quality are discussed.
Optimal placement of demanding real-time interactive applications in a distributed heterogeneous cloud very quickly results in a complex tradeoff between the application constraints and
We have fabricated vertical p-i-n silicon photodetectors that are monolithically integrated with compact silicon-oxynitride channel waveguides.
We report the experimental demonstration of evanescent-wave gas detection with a silica-air microstructure fiber.
The deposition of copper into the through-holes and vias of printed wiring boards (PWBs) has been done using vacuum processing techniques frequently referred to as "dry metallization".
A gas of hydrogen atoms, confined in a static magnetic trap, has been evaporatively cooled to temperatures of a few millikelvin.
The fractional quantum Hall effect (FQHE) had until recently been observed at exclusively odd denominator filling factors, v=p/q, q odd.
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a.
Accurate timing simulations are crucial to the design of MOS VLSI circuits, but can take prohibitively large amounts of time on a typical engineering workstation.
A logic model checker can be an effective tool for debugging software applications.
