Search results for "Sisal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
161	Vivek Sarkar, David C. Cann	POSC - a partitioning and optimizing SISAL compiler.	ICS	1990	DBLP DOI BibTeX RDF	SISAL
160	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn	From a formal dynamic semantics of Sisal to a Sisal environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
142	Victor N. Kasyanov, Alexander P. Stasenko	A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition.	PaCT	2007	DBLP DOI BibTeX RDF	Sisal 3.1, front-end compiler, parallel programming, program transformation, functional programming, internal representation
105	Pau S. Chang, Gregory K. Egan	An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL.	PPoPP	1990	DBLP DOI BibTeX RDF	FORTRAN, SISAL
83	Paul G. Whiting, Gregory K. Egan	A comparison of structure accessing techniques in IdA and SISAL on the CSIRAC II dataflow multiprocessor.	SPDP	1991	DBLP DOI BibTeX RDF
78	Jeffrey Hammes, A. P. Wim Böhm	Towards a Time and Space Efficient Functional Implementation of a Monte Carlo Photon Transport Code.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Strictness, Performance Evaluation, Parallelism, Functional Programming, Monte Carlo Simulation, Reference Counting, Sisal
73	Stephen K. Skedzielewski, Robert Kim Yates, R. R. Oldehoeft	DI: an interactive debugging interpreter for applicative languages.	PLDI	1987	DBLP DOI BibTeX RDF
69	Michael F. P. O'Boyle, G. A. Hedayat	A transformational approach to compiling Sisal for distributed memory architectures.	ICS	1992	DBLP DOI BibTeX RDF	SISAL
69	David C. Cann, John Feo	SISAL versus FORTRAN: a comparison using the Livermore loops.	SC	1990	DBLP DOI BibTeX RDF	FORTRAN, SISAL
64	A. P. Wim Böhm, R. R. Oldehoeft	Two Issues in Parallel Language Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	nonstrictness, nondeterminism, SISAL, SISAL
64	Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn	Optimizing Sisal Programs: A Formal Approach.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
64	David C. Cann, John Feo, Thomas DeBoni	SISAL 1.2: high-performance applicative computing.	SPDP	1990	DBLP DOI BibTeX RDF
64	R. R. Oldehoeft, David C. Cann, Stephen J. Allan	SISAL: Initial MIMD Performance Results.	CONPAR	1986	DBLP DOI BibTeX RDF
55	David C. Cann, Paraskevas Evripidou	Advanced Array Optimizations for High Performance Functional Languages.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
46	Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. Wim Böhm, Walid A. Najjar, Patrick Miller	The Sisal Project: Real World Functional Programming.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
46	Matthew Haines, A. P. Wim Böhm	Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of Sisal.	PARLE	1993	DBLP DOI BibTeX RDF
46	H. Garsden, Andrew L. Wendelborn	A Comparison of Microtasking Implementations of the Applicative Language SISAL.	CONPAR	1990	DBLP DOI BibTeX RDF
46	Dale H. Grit	Sisal on a Message Passing Architecture.	CONPAR	1990	DBLP DOI BibTeX RDF
41	Ben Lee, Chae Shin, Ali R. Hurson	A strategy for scheduling partially ordered program graphs onto multicomputers.	HICSS (2)	1995	DBLP DOI BibTeX RDF	partially ordered program graphs, scalar performance, user code, compile-time scheduling heuristic, SISAL programs, scheduling, performance evaluation, scalability, parallel programming, message passing, reconfigurable architectures, program compilers, processor scheduling, multicomputers, communication overhead, simulation studies, BLAS, massively parallel processing, message-passing programming, inter-processor communication, message-passing multicomputers
41	Ching-Cheng Lee, Stephen K. Skedzielewski, John Feo	On the Implementation of Applicative Languages on Shared-Memory, MIMD Multiprocessors.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	SISAL
37	Kourosh Gharachorloo, Vivek Sarkar, John L. Hennessy	A Simple and Efficient Implmentation Approach for Single Assignment Languages.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
27	Biju C. Thomas, Y. Stalin Jose	Impact of sisal fiber reinforced concrete and its performance analysis: a review.	Evol. Intell.	2022	DBLP DOI BibTeX RDF
27	Dmitry A. Kondratyev	Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System.	Autom. Control. Comput. Sci.	2022	DBLP DOI BibTeX RDF
27	Chujun Huang, Mingjie Shao, Wing-Kin Ma, Anthony Man-Cho So	SISAL Revisited.	SIAM J. Imaging Sci.	2022	DBLP DOI BibTeX RDF
27	Ahmed Abed, Zineb Samouh, Cédric Cochrane, François Boussu, Omar Cherkaoui, Reddad El Moznine, Julien Vieillard	Piezo-Resistive Properties of Bio-Based Sensor Yarn Made with Sisal Fibre.	Sensors	2021	DBLP DOI BibTeX RDF
27	Ignacio Rodríguez-Rodríguez, José-Víctor Rodríguez, Aurora González-Vidal, Miguel Ángel Zamora	Feature Selection for Blood Glucose Level Prediction in Type 1 Diabetes Mellitus by Using the Sequential Input Selection Algorithm (SISAL).	Symmetry	2019	DBLP DOI BibTeX RDF
27	Dmitry A. Kondratyev, Alexei V. Promsky	Proof Strategy for Automated Sisal Program Verification.	TOOLS	2019	DBLP DOI BibTeX RDF
27	K. Senthilkumar 0001, Siva Irulappasamy, N. Rajini, P. Jeyaraj	Effect of fibre length and weight percentage on mechanical properties of short sisal/polyester composite.	Int. J. Comput. Aided Eng. Technol.	2015	DBLP DOI BibTeX RDF
27	Victor Kasyanov	Sisal 3.2: functional language for scientific parallel programming.	Enterp. Inf. Syst.	2013	DBLP DOI BibTeX RDF
27	John Feo	Sisal.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
27	A. Athijayamani, M. Thiruchitrambalam, J. T. Winowlin Jappes, A. Alavudeen	Effects of fibre content on the mechanical properties of short roselle/sisal fibre polyester hybrid composite.	Int. J. Comput. Aided Eng. Technol.	2011	DBLP DOI BibTeX RDF
27	Alexander P. Stasenko	Sisal 3.2 Language Features Overview.	PaCT	2011	DBLP DOI BibTeX RDF
27	Yung-Syau Chen, Jean-Luc Gaudiot	Implementing Parallel Branch-and-Bound with Extended Sisal 2.0.	Parallel Process. Lett.	1998	DBLP DOI BibTeX RDF
27	Chinhyun Kim, Jean-Luc Gaudiot, Wlodek Proskurowski	Parallel Computing with the Sisal Applicative Language: Programmability and Performance Issues.	Softw. Pract. Exp.	1996	DBLP DOI BibTeX RDF
27	Yung-Syau Chen, Jean-Luc Gaudiot	An Application of Extended Sisal 2.0.	PDPTA	1996	DBLP BibTeX RDF
27	David Abramson 0001, A. McKay	Evaluating the performance of a SISAL implementation of the abingdon cross image processing benchmark.	Int. J. Parallel Program.	1995	DBLP DOI BibTeX RDF
27	Srdjan Mitrovic	Loop Parallelism on Tera MTA Using Sisal.	PDPTA	1995	DBLP BibTeX RDF
27	Santosh Pande, Dharma P. Agrawal, Jon Mauney	A Threshold Scheduling Strategy for Sisal on Distributed Memory Machines.	J. Parallel Distributed Comput.	1994	DBLP DOI BibTeX RDF
27	Andrew Sohn, Lingmian Kong, Mitsuhisa Sato	Progress Report on Porting Sisal to the EM-4 Multiprocessor.	IFIP PACT	1994	DBLP BibTeX RDF
27	Scott M. Denton, John Feo, Patrick Miller	Realizing Parallel Reduction Operations in Sisal 1.2.	IFIP PACT	1994	DBLP BibTeX RDF
27	Thomas DeBoni, John Feo, Garry H. Rodrigue, John H. Muller	Implementation and Performance of a Domain Decomposition Algorithm in Sisal.	HICSS (2)	1994	DBLP BibTeX RDF
27	Marc Daumas, Paraskevas Evripidou	Results of Parallel Implementations of the Selection Problem Using Sisal.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
27	Andrew L. Wendelborn, H. Garsden	Exploring the Stream Data Type in SISAL and Other Languages.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
27	John Feo, David C. Cann, R. R. Oldehoeft	A Report on the Sisal Language Project.	J. Parallel Distributed Comput.	1990	DBLP DOI BibTeX RDF
27	Paul-Gerhard Plöger, Bernhard Klaassen, Karl L. Paap	Simulating Electrical Circuits using SISAL.	Simulationstechnik	1987	DBLP DOI BibTeX RDF
23	John A. Stankovic, Insup Lee 0001, Aloysius K. Mok, Raj Rajkumar	Opportunities and Obligations for Physical Computing Systems.	Computer	2005	DBLP DOI BibTeX RDF	Physical computing systems, Emergency response systems, Pervasive computing, Security and privacy, Embedded computing, Critical infrastructures, SISAL
23	David A. Garza-Salazar, A. P. Wim Böhm	Reducing Communication by Honoring Multiple Alignments.	International Conference on Supercomputing	1995	DBLP DOI BibTeX RDF	SISAL
23	Vivek Sarkar	Instruction Reordering for Fork-Join Parallelism.	PLDI	1990	DBLP DOI BibTeX RDF	SISAL
23	A. P. Wim Böhm, John Sargeant	Code Optimization for Tagged-Token Dataflow Machines.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	tagged-token dataflow machines, dataflow-specific optimizations, single-assignment language, Manchester Dataflow Machine, numeric applications, MIPS/MFLOPS ratio, parallel programming, high level languages, SISAL, program processors, code optimisation
18	Adrianos Lachanas, Paraskevas Evripidou	Exploiting Course Grain Parallelism from FORTRAN by Mapping it to IF1.	Euro-Par	1998	DBLP DOI BibTeX RDF
18	Sven-Bodo Scholz	On defining application-specific high-level array operations by means of shape-invariant programming facilities.	APL	1998	DBLP DOI BibTeX RDF	high-level array operations, meta-level programming, shape-invariant programming, compilation, performance comparison
18	Zhonghua Li, Chris C. Kirkham	Efficient Storage Reuse of Aggregates in Single Assignment Languages.	CC	1996	DBLP DOI BibTeX RDF
18	Santosh Pande, Dharma P. Agrawal, Jon Mauney	A Scalable Scheduling Scheme for Functional Parallelism on Distributed Memory Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
18	Vladimir A. Evstigneev, Victor N. Kasyanov	A Program Manipulation System for Fine-Grained Architectures.	Euro-Par	1995	DBLP DOI BibTeX RDF	fine-grain architectures, multifunctional cooperation, parallel processing, transformational approach, program restructuring
18	William Marcus Miller, Walid A. Najjar, A. P. Wim Böhm	A model for dataflow based vector execution.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
18	Paraskevas Evripidou, Walid A. Najjar, Jean-Luc Gaudiot	A Single-Assignment Language in a Distributed Memory Multiprocessor.	PARLE (2)	1989	DBLP DOI BibTeX RDF
18	Jean-Luc Gaudiot, Liang-Teh Lee	Multiprocessor Systems Programming in a High-Level Data-Flow Language.	PARLE (1)	1987	DBLP DOI BibTeX RDF