9006 search results - page 1397 / 1802 » Modeling Software |
157
click to vote
TCIAIG
2010
15 years 26 days ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
294
Voted
TCAD
2011
15 years 19 days ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
184
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
163
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
Mobile devices are currently difficult to customize for the usability needs of elderly users. The elderly are instead referred to specially designed “senior phones” or softwar...
263
click to vote
FASE
2011
Springer
14 years 9 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...