10870 search results - page 1877 / 2174 » Model Checking Programs |
181
click to vote
WWW
2006
ACM
16 years 19 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
164
click to vote
CGO
2005
IEEE
16 years 10 days ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
164
Voted
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
167
click to vote
ICDCS
2005
IEEE
16 years 9 days ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
175
Voted
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
Network impairments such as delay and packet losses have severe impact on the presentation quality of many predictive video sources. Prior researches (e.g., [1]-[3][5]-[9][11]-[13...