10575 search results - page 1611 / 2115 » T2Script Programming Language |
214
Voted
ACMMSP
2006
ACM
16 years 22 days ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
170
click to vote
ASSETS
2006
ACM
16 years 22 days ago
2006
ACM
VoiceXML (VXML) is a W3C’s standard for specifying interactive dialogs. It finds multiple uses in various Web applications. VXML can also be used in non-visual Web browsing. Th...
185
click to vote
HASKELL
2006
ACM
16 years 22 days ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
204
click to vote
PPPJ
2006
ACM
16 years 22 days ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
168
click to vote
FDL
2005
IEEE
16 years 11 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...