Search results for "POSIX"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Kim-Thomas Möller, Marc-Florian Müller, Michael Sonnenfroh, Michael Schöttner	A Software Transactional Memory Service for Grids.	ICA3PP	2009	DBLP DOI BibTeX RDF
12	Vincenzo D. Cunsolo, Salvatore Distefano, Antonio Puliafito, Marco Scarpa	Implementing Data Security in Grid Environment.	WETICE	2009	DBLP DOI BibTeX RDF
12	Zhenhan Liu, Xiaoxuan Meng, Lu Xu 0001	Lock management in blue whale file system.	ICIS	2009	DBLP DOI BibTeX RDF	BWFS, distributed lock management, cluster file system
12	David Andrews 0001, Ron Sass, Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot, Ed Komp	Achieving Programming Model Abstractions for Reconfigurable Computing.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
12	Rajagopal Ananthanarayanan, Marc Eshel, Roger L. Haskin, Manoj Naik, Frank B. Schmuck, Renu Tewari	Panache: a parallel WAN cache for clustered filesystems.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF	cluster filesystem, pNFS, caching, wide-area network
12	Ron Brightwell	A Prototype Implementation of MPI for SMARTMAP.	PVM/MPI	2008	DBLP DOI BibTeX RDF
12	James A. Kupsch, Barton P. Miller	How to Open a File and Not Get Hacked.	ARES	2008	DBLP DOI BibTeX RDF	file open, trusted path, secure programming
12	Marc Pérache, Hervé Jourdren, Raymond Namyst	MPC: A Unified Parallel Runtime for Clusters of NUMA Machines.	Euro-Par	2008	DBLP DOI BibTeX RDF
12	John L. Donaldson	Implementation of threads as an operating systems project.	SIGCSE	2008	DBLP DOI BibTeX RDF	operating systems, threads
12	Mark Utting, Petra Malik	Unit Testing of Z Specifications.	ABZ	2008	DBLP DOI BibTeX RDF
12	Eunsuk Kang, Daniel Jackson 0001	Formal Modeling and Analysis of a Flash Filesystem in Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
12	Jose Augusto Andrade Filho, Rodrigo Fernandes de Mello, Evgueni Dodonov, Luciano José Senger, Laurence Tianruo Yang, Kuan-Ching Li	Toward an Efficient Middleware for Multithreaded Applications in Computational Grid.	CSE	2008	DBLP DOI BibTeX RDF	Load Balancing, Grid Computing, Thread Migration
12	Willem de Bruijn, Herbert Bos	Beltway Buffers: Avoiding the OS Traffic Jam.	INFOCOM	2008	DBLP DOI BibTeX RDF
12	Chin-Chen Chu, Ching-Hsien Hsu	A Performance-Effective and High-Scalable Grid File System.	MUE	2008	DBLP DOI BibTeX RDF
12	Liqiang Cao, Hongbing Luo, Baoyin Zhang	Jetter: a multi-pattern parallel I/O benchmark.	CLUSTER	2008	DBLP DOI BibTeX RDF
12	Jim Woodcock 0001, Leo Freitas	Linking VDM and Z.	ICECCS	2008	DBLP DOI BibTeX RDF
12	Aoun Raza, Gunther Vogel	RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
12	John Mehnert-Spahn, Michael Schöttner, Christine Morin	Checkpointing Process Groups in a Grid Environment.	PDCAT	2008	DBLP DOI BibTeX RDF
12	Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok	Extending ACID semantics to the file system.	ACM Trans. Storage	2007	DBLP DOI BibTeX RDF	File system transactions, ptrace monitors, recoverable memory, databases, file systems
12	Andy J. Wellings, Alan Burns 0001, Osmar Marchi dos Santos, Benjamin M. Brosgol	Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.	ISORC	2007	DBLP DOI BibTeX RDF
12	A. Carbone, Luca dell'Agnello, Alberto Forti, Antonia Ghiselli, E. Lanciotti, Luca Magnoni, Mirco Mazzucato, R. Santinelli, Vladimir Sapunenko, V. Vagnoni, Riccardo Zappi	Performance Studies of the StoRM Storage Resource Manager.	eScience	2007	DBLP DOI BibTeX RDF
12	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.	SPIN	2007	DBLP DOI BibTeX RDF
12	Subhash Saini, Dale Talcott, Rajeev Thakur, Panagiotis A. Adamidis, Rolf Rabenseifner, Robert Ciotti	Parallel I/O Performance Characterization of Columbia and NEC SX-8 Superclusters.	IPDPS	2007	DBLP DOI BibTeX RDF
12	Frank Singhoff	MP1: real time scheduling theory and its use with ada.	SIGAda	2007	DBLP DOI BibTeX RDF
12	Ahmet Cetinkaya	Regular expression generation through grammatical evolution.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	regular expressions, grammatical evolution
12	Julian Borrill, Leonid Oliker, John Shalf, Hongzhang Shan	Investigation of leading HPC I/O performance using a scientific-application derived benchmark.	SC	2007	DBLP DOI BibTeX RDF
12	Uma Maheswar Rao, Suneel Sinha, Naveen Shenoy	Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development.	VLSI Design	2007	DBLP DOI BibTeX RDF
12	Thierry Gautier, Xavier Besseron, Laurent Pigeon	KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors.	PASCO	2007	DBLP DOI BibTeX RDF	cluster, multi-core, data flow, work-stealing, multi-processor
12	Peng Li 0020, Haisang Wu, Binoy Ravindran, E. Douglas Jensen	A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	resource dependency, resource management, Real-time scheduling, mutual exclusion, time/utility functions, overload management, utility accrual scheduling
12	Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward, Eric Russell, Neil Pundit	Scalable Design and Implementations for MPI Parallel Overlapping I/O.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O
12	Stijn Vansummeren	Type inference for unique pattern matching.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	disambiguation policies, XML, programming languages, Pattern matching
12	Armin Rigo, Samuele Pedroni	PyPy's approach to virtual machine construction.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	metacircularity, retargettable code generation, virtual machine, type inference, Python
12	Jakub Kurzak, Jack J. Dongarra	Implementing Linear Algebra Routines on Multi-core Processors with Pipelining and a Look Ahead.	PARA	2006	DBLP DOI BibTeX RDF
12	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	On utility accrual processor scheduling with wait-free synchronization for embedded real-time software.	SAC	2006	DBLP DOI BibTeX RDF	time/utility functions, wait-free synchronization
12	Phillip Stanley-Marbell, Kanishka Lahiri, Anand Raghunathan	Adaptive data placement in an embedded multiprocessor thread library.	DATE	2006	DBLP DOI BibTeX RDF
12	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Lock-free synchronization for dynamic embedded real-time systems.	DATE	2006	DBLP DOI BibTeX RDF
12	Baolai Ge, Allan B. MacIsaac, Henning Rasmussen	A Threaded Parallel Code for Pricing Discrete Asian Options on SMP Systems.	HPCS	2006	DBLP DOI BibTeX RDF
12	Bill Stoddart, Frank Zeyda, Robert Lynas	A Design-Based Model of Reversible Computation.	UTP	2006	DBLP DOI BibTeX RDF
12	Mithun Acharya, Tao Xie 0001, Jun Xu 0003	Mining Interface Specifications for Generating Checkable Robustness Properties.	ISSRE	2006	DBLP DOI BibTeX RDF
12	Mario Rossainz López, Manuel I. Capel Tuñón	An Approach to Structured Parallel Programming Based on a Composition.	CONIELECOMP	2006	DBLP DOI BibTeX RDF
12	Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg	Stayin' alert: : moulding failure and exceptions to your needs.	GPCE	2006	DBLP DOI BibTeX RDF	alert reporting and handling, domain-specific exception language, abstraction, errors, separation of concerns, aspects, failure, partiality, guarding, mouldable programming
12	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Construction of a Highly Dependable Operating System.	EDCC	2006	DBLP DOI BibTeX RDF
12	Jason M. McGuiness, Colin Egan, Bruce Christianson, Guang Gao	The Challenges of Efficient Code-Generation for Massively Parallel Architectures.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
12	Alan Burns 0001, Andy J. Wellings	Programming Execution-Time Servers in Ada 2005.	RTSS	2006	DBLP DOI BibTeX RDF
12	Yong Wei, Hongyu Wang, Suchendra M. Bhandarkar, Kang Li 0001	Parallel Algorithms for Motion Panorama Construction.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
12	Gerson G. H. Cavalheiro, Epifanio Dinis Benitez, Daniela Saccol Peranconi, Eduardo Moschetta	Dynamic List Scheduling of Threads on Clusters.	CCGRID	2006	DBLP DOI BibTeX RDF
12	Claudio Passerone	Real time operating system modeling in a system level design environment.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Mithun Acharya, Tanu Sharma, Jun Xu 0003, Tao Xie 0001	Effective Generation of Interface Robustness Properties for Static Analysis.	ASE	2006	DBLP DOI BibTeX RDF
12	Garth A. Gibson	Petascale data storage - Petascale data storage.	SC	2006	DBLP DOI BibTeX RDF
12	Robert B. Ross, Rajeev Thakur, William Loewe, Robert Latham	M02 - Parallel I/O in practice.	SC	2006	DBLP DOI BibTeX RDF
12	Gerson G. H. Cavalheiro, Luciano Paschoal Gaspary, Marcelo Augusto Cardozo, Otávio Corrêa Cordeiro	Anahy: A Programming Environment for Cluster Computing.	VECPAR	2006	DBLP DOI BibTeX RDF
12	Gabriel Aparício, Ignacio Blanquer, Vicente Hernández	A Parallel Implementation of the K Nearest Neighbours Classifier in Three Levels: Threads, MPI Processes and the Grid.	VECPAR	2006	DBLP DOI BibTeX RDF
12	Alexander Mendiburu, José Antonio Lozano 0001, José Miguel-Alonso	Parallel Implementation of EDAs Based on Probabilistic Graphical Models.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
12	Martin Gasbichler, Michael Sperber	Integrating User-Level Threads with Processes in Scsh.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	Unix, Scheme, threads, continuations
12	Ronald Kriemann	Parallel H -Matrix Arithmetics on Shared Memory Systems.	Computing	2005	DBLP DOI BibTeX RDF	parallel algorithms, shared memory systems, Hierarchical matrices
12	Hao Cai, Andy J. Wellings	Temporal Isolation in Ravenscar-Java.	ISORC	2005	DBLP DOI BibTeX RDF
12	Rajeev Thakur, Robert B. Ross, Robert Latham	Implementing Byte-Range Locks Using MPI One-Sided Communication.	PVM/MPI	2005	DBLP DOI BibTeX RDF
12	Shahrooz Feizabadi, Binoy Ravindran, E. Douglas Jensen	MSA: a memory-aware utility accrual scheduling algorithm.	SAC	2005	DBLP DOI BibTeX RDF	resource-constrained systems, scheduling, real-time systems, embedded systems, soft real-time, utility accrual scheduling
12	David A. Bader, Kamesh Madduri	Design and Implementation of the HPCS Graph Analysis Benchmark on Symmetric Multiprocessors.	HiPC	2005	DBLP DOI BibTeX RDF
12	Manuel I. Capel Tuñón, Mario Rossainz López	Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP).	CONIELECOMP	2005	DBLP DOI BibTeX RDF
12	Emmanuel Jeannot	Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer.	IPDPS	2005	DBLP DOI BibTeX RDF
12	B. Cirou, Marie Christine Counilh, Jean Roman	Programming Irregular Scientific Algorithms with Static Properties on Clusters of SMP Nodes.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
12	Evgueni Dodonov, Rodrigo Fernandes de Mello, Laurence Tianruo Yang	A Network Evaluation for LAN, MAN and WAN Grid Environments.	EUC	2005	DBLP DOI BibTeX RDF
12	Sascha Hunold, Thomas Rauber	Reducing the Overhead of Intra-Node Communication in Clusters of SMPs.	ISPA	2005	DBLP DOI BibTeX RDF	message passing between threads, parallel programming models, clusters of SMPs
12	Karl Jeacle, Jon Crowcroft	A Multicast Transport Driver for Globus XIO.	WETICE	2005	DBLP DOI BibTeX RDF
12	Ding-Yong Hong, Ching-Wen You, Yeh-Ching Chung	An Efficient MPI-IO for Noncontiguous Data Access over InfiniBand.	ISPAN	2005	DBLP DOI BibTeX RDF
12	José María Martínez, Michael González Harbour	RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95
12	Eiji Kawai, Youki Kadobayashi, Suguru Yamaguchi	A Fast Polling I/O Implementation with Real-time Signals.	NCA	2004	DBLP DOI BibTeX RDF
12	Haisang Wu, Binoy Ravindran, E. Douglas Jensen	Utility Accrual Scheduling under Joint Utility and Resource Constraints.	ISORC	2004	DBLP DOI BibTeX RDF
12	Wolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann	Case Studies.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
12	Yunsi Fei, Lin Zhong 0001, Niraj K. Jha	An Energy-Aware Framework for Coordinated Dynamic Software Management in Mobile Computers.	MASCOTS	2004	DBLP DOI BibTeX RDF
12	Manuel I. Capel Tuñón, Mario Rossainz López	A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs).	CONIELECOMP	2004	DBLP DOI BibTeX RDF
12	Haisang Wu, Binoy Ravindran, E. Douglas Jensen	On the Joint Utility Accrual Model.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Francis Tam, Kari Ahvanainen	First Experience of Conformance Testing an Application Interface Specification Implementation.	ISAS	2004	DBLP DOI BibTeX RDF
12	André C. Nácul, Tony Givargis	Code partitioning for synthesis of embedded applications with phantom.	ICCAD	2004	DBLP DOI BibTeX RDF
12	Peng Li 0020, Binoy Ravindran, Hyeonjoong Cho, E. Douglas Jensen	Scheduling Distributable Real-Time Threads in Tempus Middleware.	ICPADS	2004	DBLP DOI BibTeX RDF
12	M. Diaby, Matthieu Tuna, Jean Lou Desbarbieux, Franck Wajsbürt	High Level Synthesis Methodology from C to FPGA Used for a Network Protocol Communication.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF	KPN, FPGA, High Level Synthesis, Code Generator, VHDL, Hardware/Software codesign
12	Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno	SyncGen: An Aspect-Oriented Framework for Synchronization.	TACAS	2004	DBLP DOI BibTeX RDF
12	Ralf Hoffmann, Matthias Korch, Thomas Rauber	Using Hardware Operations to Reduce the Synchronization Overhead of Task Pools.	ICPP	2004	DBLP DOI BibTeX RDF
12	Lukasz Garstecki	Generation of conformance test suites for parallel and distributed languages and APIs.	PDP	2003	DBLP DOI BibTeX RDF
12	Leomar S. da Rosa Jr., Flávio Rech Wagner, Luigi Carro, Alexandre Carissimi, André Inácio Reis	Scheduling Policy Costs on a JAVA Microcontroller.	OTM Workshops	2003	DBLP DOI BibTeX RDF
12	Andrés Terrasa, Guillem Bernat	Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis.	RTCSA	2003	DBLP DOI BibTeX RDF
12	Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney	Fast and flexible application-level networking on exokernel systems.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	OS structure, fast servers, network services, Extensible systems
12	Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee	Automatic Parallelization of Compiled Event Driven VHDL Simulation.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	scheduling, partitioning, VHDL, multithreading, automatic parallelization, event driven simulation, compiled simulation
12	Girija J. Narlikar	Scheduling Threads for Low Space Requirement and Good Locality.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
12	Pentti Huttunen, Jouni Ikonen, Jari Porras	MPIT - Communication/Computation Paradigm for Networks of SMP Workstations.	PARA	2002	DBLP DOI BibTeX RDF
12	Feng-Shi Su, Pao-Ann Hsiung	Extended quasi-static scheduling for formal synthesis and code generation of embedded software.	CODES	2002	DBLP DOI BibTeX RDF	C
12	Matthias Korch, Thomas Rauber	Evaluation of Task Pools for the Implementation of Parallel Irregular Algorithms.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
12	Markus Lorch, Dennis G. Kafura	Supporting Secure Ad-hoc User Collaboration in Grid Environments.	GRID	2002	DBLP DOI BibTeX RDF
12	Jeff Siegel, Paul Lu	User-Level Remote Data Access in Overlay Metacomputers.	CLUSTER	2002	DBLP DOI BibTeX RDF	remote data access, wide area file systems, user-level file system, overlay metacomputers, grid computing, caching, prefetching, metacomputing
12	Feras Karablieh, Rida A. Bazzi	Heterogeneous Checkpointing for Multithreaded Applications.	SRDS	2002	DBLP DOI BibTeX RDF
12	Denis Hommais, Frédéric Pétrot, Ivan Augé	A practical tool box for system level communication synthesis.	CODES	2001	DBLP DOI BibTeX RDF
12	Jorge Sousa Pinto	Parallel Evaluation of Interaction Nets with MPINE.	RTA	2001	DBLP DOI BibTeX RDF
12	Alexandru Salcianu, Martin C. Rinard	Pointer and escape analysis for multithreaded programs.	PPoPP	2001	DBLP DOI BibTeX RDF
12	Maya B. Gokhale, Janice M. Stone, Jeffrey M. Arnold, Mirek Kalinowski	Stream-Oriented FPGA Computing in the Streams-C High Level Language.	FCCM	2000	DBLP DOI BibTeX RDF	FPGA design tools, FPGA, high-level synthesis, configurable computing, hardware-software co-design, silicon compiler
12	M. C. Ng, Weng-Fai Wong	ORION: An Adaptive Home-Based Software Distributed Shared Memory System.	ICPADS	2000	DBLP DOI BibTeX RDF
12	Douglas Thain, Miron Livny	Bypass: A Tool for Building Split Execution Systems.	HPDC	2000	DBLP DOI BibTeX RDF
12	Jörn Gehring, Achim Streit	Robust Resource Management for Metacomputers.	HPDC	2000	DBLP DOI BibTeX RDF
12	Carlos O'Ryan, Fred Kuhns, Douglas C. Schmidt, Ossama Othman, Jeff Parsons	The Design and Performance of a Pluggable Protocols Framework for Real-Time Distributed Object Computing Middleware.	Middleware	2000	DBLP DOI BibTeX RDF
12	Daniel S. Katz, Paul L. Springer	Development of a Spaceborne Embedded Cluster.	CLUSTER	2000	DBLP DOI BibTeX RDF