9110 search results - page 103 / 1822 » Formally-Based Design Evaluation |
NOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Microarchitecturally integrated on-chip networks, or micronets, are candidates to replace busses for processor component interconnect in future processor designs. For micronets...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Nowadays, most multiagent platforms are internally designed as middleware and are usually implemented in Java and run on top of an operating system. This kind of design maximizes ...
TVCG
2008
14 years 9 months ago
2008
Interactive history tools, ranging from basic undo and redo to branching timelines of user actions, facilitate iterative forms of interaction. In this paper, we investigate the des...
101
click to vote
EUROMICRO
2009
IEEE
15 years 1 months ago
2009
IEEE
Runtime quality of software, such as availability and throughput, depends on architectural factors and execution environment characteristics (e.g. CPU speed, network latency). Alth...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
The goals of this workshop are: (1) to bring together the community of researchers who are exploring innovative design theories and different design methodologies; (2) to evaluate...