Sciweavers

2944 search results - page 277 / 589
» On Well Quasi-orders on Languages
Sort
View
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
15 years 12 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
ICSM
2002
IEEE
15 years 11 months ago
Restructuring Multilingual Web Sites
Current practice of Web site development does not address explicitly the problems related to multilingual sites. The same information, as well as the same navigation paths, page f...
Paolo Tonella, Filippo Ricca, Emanuele Pianta, Chr...
215
Voted
WORDS
2002
IEEE
15 years 11 months ago
On Aspect-Orientation in Distributed Real-time Dependable Systems
The design and implementation of distributed real-time dependable systems is often dominated by non-functional considerations like timeliness, object placement and fault tolerance...
Andreas Gal, Olaf Spinczyk, Wolfgang Schröder...
197
Voted
MOBILITY
2009
ACM
15 years 11 months ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho
JAVA
2001
Springer
15 years 11 months ago
Sapphire: copying GC without stopping the world
Many concurrent garbage collection (GC) algorithms have been devised, but few have been implemented and evaluated, particularly for the Java programming language. Sapphire is an a...
Richard L. Hudson, J. Eliot B. Moss