4600 search results - page 771 / 920 » Presentation Of The Eurolang Project |
151
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
192
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
168
click to vote
ICSE
1995
IEEE-ACM
15 years 10 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
163
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
170
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...