1151 search results - page 37 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
114
click to vote
AHS
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional approaches to evolvable hardware (EHW), in which the field programmable gate array (FPGA) configuration is directly encoded, have not scaled well with increasing cir...
152
click to vote
IJWET
2006
15 years 3 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
138
click to vote
MIDDLEWARE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We ...
131
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci...
130
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...