4151 search results - page 368 / 831 » Language Driven System Design |
125
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...
128
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
113
click to vote
DEBS
2003
ACM
15 years 10 months ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
130
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
134
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...