Sciweavers

1617 search results - page 20 / 324
» Modeling and evaluation of hardware software designs
Sort
View
AOSD
2009
ACM
14 years 3 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
ICCD
2005
IEEE
224views Hardware» more  ICCD 2005»
14 years 5 months ago
Algorithmic and Architectural Design Methodology for Particle Filters in Hardware
In this paper we present algorithmic and architectural methodology for building Particle Filters in hardware. Particle filtering is a new paradigm for filtering in presence of n...
Aswin C. Sankaranarayanan, Rama Chellappa, Ankur S...
EUROMICRO
2006
IEEE
14 years 2 months ago
Experience Report: Using Internal CMMI Appraisals to Institutionalize Software Development Performance Improvement
Critical to any successful performance improvement initiative is to achieve a state of continuous or institutionalized improvement. Some improvement can happen quickly, but long-t...
Fredrik Ekdahl, Stig Larsson
MICRO
2010
IEEE
215views Hardware» more  MICRO 2010»
13 years 6 months ago
A Task-Centric Memory Model for Scalable Accelerator Architectures
This paper presents a task-centric memory model for 1000-core compute accelerators. Visual computing applications are emerging as an important class of workloads that can exploit ...
John H. Kelm, Daniel R. Johnson, Steven S. Lumetta...
ETS
2002
IEEE
100views Hardware» more  ETS 2002»
13 years 8 months ago
How to Annotate Educational Multimedia with Non-Functional Requirements
We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach ...
Giovanna Avellis, Anthony Finkelstein