Sciweavers

3130 search results - page 233 / 626
» Design Correctness of Digital Systems
Sort
View
ISPW
2006
IEEE
15 years 10 months ago
Automated Recognition of Low-Level Process: A Pilot Validation Study of Zorro for Test-Driven Development
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
Hongbing Kou, Philip M. Johnson
DIGITEL
2007
IEEE
15 years 10 months ago
MuDiS - A Virtual Learning Environment
This paper presents a multi-component; distributed system (MuDiS) based solution for building a virtual learning environment which combines a wide range of technology, tools and d...
Jeetinder Singh, Jayanthi Sivaswamy, Krishnarajulu...
IFIP
2001
Springer
15 years 9 months ago
An Evolutionary Approach for Pareto-optimal Configurations in SOC Platforms
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
CHI
2007
ACM
15 years 8 months ago
Social responses to virtual humans: implications for future interface design
Do human-human social interactions carry over to humanvirtual human social interactions? How does this affect future interface designers? We replicated classical tests of social i...
Catherine A. Zanbaka, Amy Catherine Ulinski, Paula...
CHI
2009
ACM
16 years 5 months ago
Flux: a tilting multi-touch and pen based surface
FLUX is an interactive touch-sensitive tilting surface that can be used either as a sketching board, as an interactive discussion table, and as a digital presentation whiteboard. ...
Jakob Leitner, James Powell, Peter Brandl, Thomas ...