Sciweavers

3820 search results - page 39 / 764
» Computational Physics
Sort
View
BIRTHDAY
2007
Springer
15 years 3 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
SLIP
2006
ACM
15 years 5 months ago
A tale of two nets: studies of wirelength progression in physical design
At every stage in physical design, engineers are faced with many different objectives and tools to develop, optimize, and evaluate their design. Each choice of a tool or an objec...
Andrew B. Kahng, Sherief Reda
OZCHI
2009
ACM
15 years 6 months ago
Brute force interactions: leveraging intense physical actions in gaming
People use a wide range of intensity when interacting with computers, spanning from subtle to brute force. However, computer interfaces so far have mainly focused on interactions ...
Florian Mueller, Stefan Agamanolis, Frank Vetere, ...
IPPS
2006
IEEE
15 years 5 months ago
Multi-clock pipelined design of an IEEE 802.11a physical layer transmitter
Among different wireless LAN technologies 802.11a has recently become popular due to its high throughput, large system capacity, and relatively long range. In this paper, we prop...
Maryam Mizani, Daler N. Rakhmatov
CHI
2007
ACM
16 years 7 days ago
Affordances for manipulation of physical versus digital media on interactive surfaces
This work presents the results of a comparative study in which we investigate the ways manipulation of physical versus digital media are fundamentally different from one another. ...
Lucia Terrenghi, David S. Kirk, Abigail Sellen, Sh...