62,475 Hits in 3.9 sec

CSense: A stream-processing toolkit for robust and high-rate mobile sensing applications

Farley Lai, Syed Shabih Hasan, Austin Laugesen, Octav Chipara
2014 IPSN-14 Proceedings of the 13th International Symposium on Information Processing in Sensor Networks  
CSense addresses the needs of these systems by providing a new programming model that supports flexible application configuration, a high-level concurrency model, memory management, and compiler analyses  ...  We identify that memory management and concurrency limit the scalability of stream processing systems.  ...  The compiler uses a simple heuristic to partition the SFG into domains subject to the specified concurrency constraints.  ... 
doi:10.1109/ipsn.2014.6846746 fatcat:o3qarqkymndttlhs5u2ruprlru

Logic programming in the context of multiparadigm programming: the Oz experience [article]

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002 arXiv   pre-print
A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease.  ...  This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style).  ...  This research was partly financed by the Walloon Region of Belgium in the PIRATES project. fourth international conference on principles and practice of constraint programming (cp '98 Nadathur, Gopalan  ... 
arXiv:cs/0208029v1 fatcat:aef4drwtkfd4tcyknziqfegbja

A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment

Lili Bo, Shujuan Jiang
2018 Security and Communication Networks  
To optimize the service performance, this paper presents a static constraint-aware method to simplify concurrent program buggy traces.  ...  However, frequent context switches in concurrent program execution traces will inevitably impact the service performance.  ...  In view of these challenges, we propose a new static constraint-aware approach to simplify concurrent program execution traces and optimize the process of concurrency bug diagnosis.  ... 
doi:10.1155/2018/6241921 fatcat:se5jnfal7rdrdnbq2bowsr7jc4

Logic programming in the context of multiparadigm programming: the Oz experience

2003 Theory and Practice of Logic Programming  
A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease.  ...  This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into the wider context of multiparadigm programming.  ...  Spaces are a natural way to integrate search into a concurrent system.  ... 
doi:10.1017/s1471068403001741 fatcat:opfvkb5i3vellfgk7s3mozjo7i

A history of the Oz multiparadigm language

Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
This made Oz into the first concurrent and higher-order programming language that integrates Prolog-style problem solving.  ...  The efficiency Extending the support for constraint programming.  ...  Furthermore, because of the deep integration of programming paradigms in Oz, ForCollect works correctly in a concurrent setting with streams, and it is also possible to write a version that creates a lazy  ... 
doi:10.1145/3386333 fatcat:sznttm7q3nhedfm5hcue7x76di

High-concurrency Custom-build Relational Database System's design and SQL parser design based on Turing-complete automata [article]

WanHong Huang
2020 arXiv   pre-print
In very few projects, we will need to design a database system that fully adapt to our projects and have a high efficiency and concurrency.  ...  Its performance and efficiency are directly related to the performance of software.  ...  Secondly, we must ensure the access efficiency and data integrity in high concurrency environment. Integrity constraints are required. It should able to create indexes to optimize query speed.  ... 
arXiv:2008.04640v1 fatcat:znq2d72e7nfxdcam7i3qq6f33i

An Integrated Framework for Checking Concurrency-Related Programming Errors

Qichang Chen, Liqiang Wang
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
Our current work is to design and implement a hybrid approach that integrates static and dynamic analyses to check concurrency-related programming errors more accurately and efficiently.  ...  Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs.  ...  When our dynamic monitor observes a method call, it records the current program's state into a succinct summary with regard to key program state conditions (e.g., the locks holding by the current thread  ... 
doi:10.1109/compsac.2009.105 dblp:conf/compsac/ChenW09 fatcat:3my3yu4cwrchfejb2dkm4roz2u

Page 3222 of Mathematical Reviews Vol. , Issue 97E [page]

1997 Mathematical Reviews  
More specifically, some differ- ent types of integrity constraints are considered and a distinction is drawn between necessary (‘hard’) and deontic (‘soft’) constraints.  ...  Logic Programming 28 (1996), no. 1, 45-88. Summary: “Integrating knowledge from multiple sources is an im- portant aspect of automated reasoning systems.  ... 

Federated databases and systems: Part II ? A tutorial on their resource consolidation

David K. Hsiao
1992 The VLDB journal  
constraints, and security requirements to be upheld.  ...  database systems expounded herein is termed federated, meaning that they are joined in order to meet certain organizational requirements and because they require their respective application specificities, integrity  ...  They have been rather efficient in their respective applications and effective in upholding their respective integrity constraints and security requirements.  ... 
doi:10.1007/bf01231702 fatcat:ndkuhiv7ajdsnk5og56tfy67um

SMT Solving for the Theory of Ordering Constraints [chapter]

Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
2016 Lecture Notes in Computer Science  
The theory of ordering constraints can be regarded as a special case of difference logic, and is essential for many important problems in symbolic analysis of concurrent programs.  ...  In this paper, we identify a particular kind of constraints called ordering constraints, and study the problem of deciding satisfiability modulo such constraints.  ...  To improve the scalability of symbolic analysis for analyzing concurrent programs, we need highly efficient constraint solvers.  ... 
doi:10.1007/978-3-319-29778-1_18 fatcat:opwyt2dqs5c2roccvx2edcjrjm

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
The team in Grenoble is integrating this development into a new compiler for the language Modelica. 4 In parallel, the goal of REACTIVEML 5 was to integrate a synchronous concurrency model into an existing  ...  Programming language, synchronous reactive programming, concurrent systems, dedicated type-systems.  ... 
doi:10.1201/9780429187575-1 fatcat:ngrbtza47bhrdmlrbn2xdhg5de

Efficient deterministic multithreading through schedule relaxation

Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang
2011 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles - SOSP '11  
Based on this insight, we have built PEREGRINE, an efficient deterministic multithreading system. When a program first runs on an input, PEREGRINE records an execution trace.  ...  It then relaxes this trace into a hybrid schedule and reuses the schedule on future compatible inputs efficiently and deterministically.  ...  We thus integrated bddbddb [51, 52] , one of the best alias analyses, into PEREGRINE by creating an LLVM frontend to collect program facts into the format bddbddb expects.  ... 
doi:10.1145/2043556.2043588 dblp:conf/sosp/CuiWGGY11 fatcat:ko2yliepivd3hlyjt2x74guaru

Service Constraint Guarantees

Aspen Olmsted, RoxAnn Stalvey
2014 International Journal of Intelligent Computing Research  
In this paper, we extend the Buddy System to enforce hierarchical data integrity constraints.  ...  We consider enforcement of integrity constraints in a way that increases the availability while guaranteeing the correctness specified in the constraint.  ...  OCL is integrated into many UML design environments. It fits well in a model driven architecture (MDA).  ... 
doi:10.20533/ijicr.2042.4655.2014.0055 fatcat:327gkfdcsrbcjitjqzjzyvbdkq

Strategic directions in constraint programming

Pascal Van Hentenryck, Vijay Saraswat
1996 ACM Computing Surveys  
integrating these techniques into a powerful computational framework.  ...  The constraint systems previously discussed have been integrated into different programming languages, ranging from subsets of first-order logic to imperative languages such as Cϩϩ, or even specialized  ... 
doi:10.1145/242223.242279 fatcat:3aqe7rubijeddoahomxho2vtou

A database management capability for Ada

Aryola Chan, Sy Danberg, Terry Landers, Anil Nori, John M. Smith, Stephen Fox
1985 Proceedings of the second annual Washington Ada symposium on Ada Ada in the mainstream: applications and education - WADAS '85  
Ada has made a large contribution to improving program integrity through strong type checking at compile time and constraint checking at run time.  ...  A much more efficient method is to have the DBMS perform the update directly. That is, the application program can instruct the DBMS to add one to the YEARS OF SERVICE component of each record.  ... 
doi:10.1145/325612.325627 fatcat:qehjkhnim5g5bl7zbfgq5ankeu
« Previous Showing results 1 — 15 out of 62,475 results