2483 search results - page 197 / 497 » A design framework to model retinas |
159
click to vote
DSD
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
198
click to vote
SIGCOMM
2005
ACM
16 years 2 days ago
2005
ACM
This paper introduces a lightweight, scalable and accurate framework, called Meridian, for performing node selection based on network location. The framework consists of an overla...
183
click to vote
CSMR
2006
IEEE
16 years 18 days ago
2006
IEEE
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
261
click to vote
ECSA
2011
Springer
14 years 6 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
210
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...