Sciweavers

1830 search results - page 210 / 366
» Functional Programs as Linked Data
Sort
View
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
15 years 8 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
154
Voted
ACMMSP
2004
ACM
131views Hardware» more  ACMMSP 2004»
15 years 8 months ago
Reuse-distance-based miss-rate prediction on a per instruction basis
Feedback-directed optimization has become an increasingly important tool in designing and building optimizing compilers. Recently, reuse-distance analysis has shown much promise i...
Changpeng Fang, Steve Carr, Soner Önder, Zhen...
111
Voted
TOOLS
2000
IEEE
15 years 7 months ago
Pickling Threads State in the Java System
Today, distributed object-based computing is closely linked with Java. The Java virtual machine is ported to most current operating systems and provides many services which help d...
Sara Bouchenak, Daniel Hagimont
129
Voted
EDCC
2005
Springer
15 years 8 months ago
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
Christophe Honvault, Marc Le Roy, Pascal Gula, Jea...
128
Voted
VDA
2010
200views Visualization» more  VDA 2010»
15 years 5 months ago
Operator-centric design patterns for information visualization software
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...
Zaixian Xie, Zhenyu Guo, Matthew O. Ward, Elke A. ...