Sciweavers

10055 search results - page 1323 / 2011
» Structured programming using processes
Sort
View
ATAL
2005
Springer
16 years 12 days ago
Verifying Norm Compliancy of Protocols
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...
Huib Aldewereld, Javier Vázquez-Salceda, Fr...
IUI
2004
ACM
16 years 8 days ago
Demonstrating information in simple gestures
We introduce the simple gesturing user interface (SGUI), an application programming interface (API) for designing user interfaces utilizing simple gesturing on the personal digita...
Robert Pastel, Nathan Skalsky
TEX
2004
Springer
283views Latex» more  TEX 2004»
16 years 5 days ago
Creating Type 1 Fonts from METAFONT Sources
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
Karel Píska
168
Voted
IWPC
2003
IEEE
16 years 3 days ago
Event-Based Performance Analysis
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
Steven P. Reiss
LCN
2003
IEEE
16 years 3 days ago
Pipelining and Overlapping for MPI Collective Operations
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
Joachim Worringen
« Prev « First page 1323 / 2011 Last » Next »