Sciweavers

1850 search results - page 176 / 370
» Design-for-debugging of application specific designs
Sort
View
ICDE
1999
IEEE
109views Database» more  ICDE 1999»
14 years 11 months ago
On the Semantics of Complex Events in Active Database Management Systems
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
Detlef Zimmer, Rainer Unland
DAC
2000
ACM
14 years 11 months ago
COSY communication IP's
The Esprit/OMI-COSY project defines transaction-levels to set-up the exchange of IP's in separating function from architecture and body-behavior from proprietary interfaces. ...
Erwin A. de Kock, Frédéric Pé...
PPOPP
2009
ACM
14 years 10 months ago
Exploiting global optimizations for openmp programs in the openuh compiler
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
Lei Huang, Deepak Eachempati, Marcus W. Hervey, Ba...
CADE
2008
Springer
14 years 10 months ago
Proving Group Protocols Secure Against Eavesdroppers
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
Steve Kremer, Antoine Mercier 0002, Ralf Treinen
ICSE
2008
IEEE-ACM
14 years 10 months ago
Celadon: a change impact analysis tool for aspect-oriented programs
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao