4285 search results - page 498 / 857 » Differential Behavioral Analysis |
264
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
152
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
The formal analysis of parallelism and pipelining is performed on an 8-bit Add-Compare-Select element of a Viterbi decoder. The results are quantified through a study of the delay...
166
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
175
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Recent feasibility studies involving children with autism spectrum disorders (ASD) interacting with socially assistive robots have shown that children can have both positive and...
192
click to vote
PERSUASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Value Sensitive Design and Participatory Design are two methodological frameworks that account for ethical issues throughout the process of technology design. Through analysis and...