Sciweavers

1211 search results - page 105 / 243
» An Architecture to Support Model Driven Software Visualizati...
Sort
View
FCCM
2006
IEEE
100views VLSI» more  FCCM 2006»
15 years 3 months ago
Enabling a Uniform Programming Model Across the Software/Hardware Boundary
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
Erik Anderson, Jason Agron, Wesley Peck, Jim Steve...
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
15 years 3 months ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...
DATE
2002
IEEE
141views Hardware» more  DATE 2002»
15 years 2 months ago
A Data Analysis Method for Software Performance Prediction
This paper explores the role of data analysis methods to support system-level designers in characterising the performance of embedded applications. In particular, we address the p...
Gianluca Bontempi, Wido Kruijtzer
ICSE
1997
IEEE-ACM
15 years 1 months ago
Endeavors: A Process System Infrastructure
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. ...
IEAAIE
2004
Springer
15 years 3 months ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...