Sciweavers

10666 search results - page 1638 / 2134
» Quantum programming languages
Sort
View
SEFM
2006
IEEE
16 years 26 days ago
Describing and Executing Random Reactive Systems
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
Pascal Raymond, Erwan Jahier, Yvan Roux
ACMMSP
2006
ACM
250views Hardware» more  ACMMSP 2006»
16 years 25 days ago
What do high-level memory models mean for transactions?
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...
Dan Grossman, Jeremy Manson, William Pugh
ASSETS
2006
ACM
16 years 25 days ago
A flexible VXML interpreter for non-visual web access
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...
Yevgen Borodin
HASKELL
2006
ACM
16 years 25 days ago
Polymorphic variants in Haskell
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...
Koji Kagawa
PPPJ
2006
ACM
16 years 24 days ago
Enabling Java mobile computing on the IBM Jikes research virtual machine
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...
Giacomo Cabri, Letizia Leonardi, Raffaele Quitadam...
« Prev « First page 1638 / 2134 Last » Next »