Sciweavers

3238 search results - page 60 / 648
» Multi-return function call
Sort
View
SIGPLAN
2002
13 years 7 months ago
Pattern-matching and rewriting rules for group indexed data structures
In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-ba...
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
IPMU
2010
Springer
13 years 6 months ago
Arity-Monotonic Extended Aggregation Operators
A class of extended aggregation operators, called impact functions, is proposed and their basic properties are examined. Some important classes of functions like generalized ordere...
Marek Gagolewski, Przemyslaw Grzegorzewski
JGO
2011
116views more  JGO 2011»
13 years 2 months ago
On generalized Ekeland's variational principle and equivalent formulations for set-valued mappings
We propose a very weak type of generalized distance called weak τ-function and use it to weaken the assumptions about lower semicontinuity in existing formulations of Ekeland’s ...
Phan Quoc Khanh, D. N. Quy
FASE
2010
Springer
14 years 2 months ago
Analyzing the Impact of Change in Multi-threaded Programs
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath ...
SPAA
2010
ACM
14 years 3 days ago
Brief announcement: serial-parallel reciprocity in dynamic multithreaded languages
In dynamically multithreaded platforms that employ work stealing, there appears to be a fundamental tradeoff between providing provably good time and space bounds and supporting S...
Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha