Sciweavers

5523 search results - page 767 / 1105
» Improving application performance with hardware data structu...
Sort
View
ICCS
2004
Springer
16 years 1 days ago
An Atmospheric Sciences Workflow and Its Implementation with Web Services
: Computational and data Grids couple geographically distributed resources such as high performance computers, workstations, clusters, and scientific instruments. Grid Workflows co...
David Abramson, Jagan Kommineni, John L. McGregor,...
NIME
2004
Springer
100views Music» more  NIME 2004»
16 years 18 hour ago
TOASTER and KROONDE: High-Resolution and High-Speed Real-time Sensor Interfaces
High capacity of transmission lines (Ethernet in particular) is much higher than what imposed by MIDI today. So it is possible to use capturing interfaces with high-speed and high...
Thierry Coduys, Cyrille Henry, Arshia Cont
ESORICS
2010
Springer
15 years 7 months ago
Election Verifiability in Electronic Voting Protocols
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
Steve Kremer, Mark Ryan, Ben Smyth
ICSEA
2007
IEEE
16 years 29 days ago
DEUCE : Separating Concerns in User Interfaces
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
Sofie Goderis, Dirk Deridder, Ellen Van Paesschen
HPCA
2008
IEEE
16 years 7 months ago
Address-branch correlation: A novel locality for long-latency hard-to-predict branches
Hard-to-predict branches depending on longlatency cache-misses have been recognized as a major performance obstacle for modern microprocessors. With the widening speed gap between...
Hongliang Gao, Yi Ma, Martin Dimitrov, Huiyang Zho...