Sciweavers

928 search results - page 140 / 186
» Towards Design Space Exploration for Biological Systems
Sort
View
IM
2007
15 years 1 months ago
Compass: Cost of Migration-aware Placement in Storage Systems
— We investigate methodologies for placement and migration of logical data stores in virtualized storage systems leading to optimum system configuration in a dynamic workload sc...
Akshat Verma, Upendra Sharma, Rohit Jain, Koustuv ...
DSD
2010
IEEE
162views Hardware» more  DSD 2010»
14 years 10 months ago
A Parallel for Loop Memory Template for a High Level Synthesis Compiler
—We propose a parametrized memory template for applications with parallel for loops. The template’s parameters reflect important trade-offs made during system design. The temp...
Craig Moore, Wim Meeus, Harald Devos, Dirk Strooba...
CHI
2011
ACM
14 years 3 months ago
Investigating Phicon feedback in non-visual tangible user interfaces
We investigated ways that users could interact with Phicons in non-visual tabletop tangible user interfaces (TUIs). We carried out a brainstorming and rapid prototyping session wi...
David K. McGookin, Stephen A. Brewster
CSCW
1998
ACM
15 years 4 months ago
Fragmented Interaction: Establishing Mutual Orientation in Virtual Environments
This paper explores and evaluates the support for objectfocused collaboration provided by a desktop Collaborative Virtual Environment. The system was used to support an experiment...
Jon Hindmarsh, Mike Fraser, Christian Heath, Steve...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 4 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...