Sciweavers

1693 search results - page 267 / 339
» fast 2008
Sort
View
ICCD
2008
IEEE
119views Hardware» more  ICCD 2008»
14 years 7 months ago
Hierarchical simulation-based verification of Anton, a special-purpose parallel machine
—One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that co...
John P. Grossman, John K. Salmon, Richard C. Ho, D...
ICCAD
2008
IEEE
153views Hardware» more  ICCAD 2008»
14 years 7 months ago
Breaking the simulation barrier: SRAM evaluation through norm minimization
— With process variation becoming a growing concern in deep submicron technologies, the ability to efficiently obtain an accurate estimate of failure probability of SRAM compone...
Lara Dolecek, Masood Qazi, Devavrat Shah, Anantha ...
ACHI
2008
IEEE
14 years 4 months ago
Focusing Graphical User Interfaces in Model-Driven Software Development
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
Stefan Link, Thomas Schuster, Philip Hoyer, Sebast...
ACHI
2008
IEEE
14 years 4 months ago
Spatial Auditory Interface for an Embedded Communication Device in a Car
In this paper we evaluate the safety of the driver when using an embedded communication device while driving. As a part of our research, four different tasks were preformed with t...
Jaka Sodnik, Saso Tomazic, Christina Dicke, Mark B...
ACISICIS
2008
IEEE
14 years 4 months ago
SIMPA: A SIP-Based Mobile Payment Architecture
In recent years, many Mobile Payment (MP) schemes have been proposed and used in practise. However, a prerequisite for extended acceptance and adoption of MP technologies is to de...
Ge Zhang, Feng Cheng 0002, Christoph Meinel