Sciweavers

1952 search results - page 172 / 391
» Designing for appropriation
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
FPL
2000
Springer
124views Hardware» more  FPL 2000»
15 years 10 months ago
Balancing Logic Utilization and Area Efficiency in FPGAs
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...
Russell Tessier, Heather Giza
ICMCS
2000
IEEE
126views Multimedia» more  ICMCS 2000»
15 years 10 months ago
Interactive Artificial Life based on Behavior and Perception in a Virtual Environment
A cyber-character is a kind of artificial life inhabiting a virtual world. To be a life form in the virtual world, cyber characters need sensors and control systems. The sensor sy...
Hyun Seung Yang, Hyun-jin Park, Yong-Jin Cho
DAC
1995
ACM
15 years 10 months ago
Efficient Power Estimation for Highly Correlated Input Streams
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
Radu Marculescu, Diana Marculescu, Massoud Pedram
CHI
2010
ACM
15 years 9 months ago
Improving remote collaboration through side-by-side telepresence
Virtually all teleconferencing solutions are designed to facilitate face-to-face interactions. While face-to-face is suitable for meetings or conversations, we see many real-world...
Paul Tanner, Varnali Shah