7189 search results - page 372 / 1438 » Connecting Design with Code |
145
Voted
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
146
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a new multiprocessor platform for high throughput turbo decoding. The proposed platform is based on a new configurable ASIP combined with an efficient memory a...
116
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we present a SoC design methodology joining the capabilities of UML and SystemC to operate at systemlevel. We present a UML 2.0 profile of the SystemC language expl...
142
Voted
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Business rules define or constrain some business [24]. Many different business rules engines exist to capture and manage the rules that comprise ones business. The lack of standa...
129
click to vote
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes a non-uniform cache architecture for reducing the power consumption of memory systems. The nonuniform cache allows having different associativity values (i.e.,...