3827 search results - page 180 / 766 » The Epsilon Generation Language |
163
click to vote
ESTIMEDIA
2007
Springer
16 years 5 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
146
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
150
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
181
click to vote
WIRI
2005
IEEE
15 years 11 months ago
2005
IEEE
The inter-operability of multiple autonomous and heterogeneous data sources is an important issue in many applications such as mediation systems, datawarehouses, or web-based syst...
145
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...