Sciweavers

3836 search results - page 552 / 768
» Optimizing the Use of High Performance Software Libraries
Sort
View
SPC
2005
Springer
15 years 10 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
VLDB
2001
ACM
110views Database» more  VLDB 2001»
15 years 9 months ago
Warehousing Workflow Data: Challenges and Opportunities
Workflow management systems (WfMSs) are software platforms that allow the definition, execution, monitoring, and management of business processes. WfMSs log every event that occur...
Angela Bonifati, Fabio Casati, Umeshwar Dayal, Min...
SC
2000
ACM
15 years 9 months ago
Computing and Data Grids for Science and Engineering
We use the term “Grid” to refer to a software system that provides uniform and location independent access to geographically and organizationally dispersed, heterogeneous reso...
William E. Johnston, Dennis Gannon, Bill Nitzberg,...
VISUALIZATION
1992
IEEE
15 years 8 months ago
The Microscopist's Workstation
This case study looks at the issues involved in operating a sophisticated scientific instrument as a computer peripheral accessible over a high-speed network. A custom interactive...
Philip J. Mercurio, T. Todd Elvins, Stephen J. You...
ANCS
2007
ACM
15 years 8 months ago
Frame shared memory: line-rate networking on commodity hardware
Network processors provide an economical programmable platform to handle the high throughput and frame rates of modern and next-generation communication systems. However, these pl...
John Giacomoni, John K. Bennett, Antonio Carzaniga...