|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10846 occurrences of 3886 keywords
|
|
|
Results
Found 18005 publication records. Showing 18005 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel |
Petri Nets, Event Structures and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 266-284, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Gérard Memmi |
Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 91-108, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Nancy A. Lynch, Michael J. Fischer |
On Describing the Behavior and Implementation of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 147-172, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Nissim Francez |
On Achieving Distributed Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 300-315, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Michel Sintzoff |
Principles for Distributing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 337-347, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Jack B. Dennis (eds.) |
Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![ACM, 978-1-4503-4812-6 The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Anatol W. Holt, Frederic G. Commoner |
Events and conditions: state machines and information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 33-52, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Prakash G. Hebalkar |
Coordinated sharing of resources in asynchronous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 151-168, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Anatol W. Holt, Frederic G. Commoner |
Events and conditions: introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 3-5, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Anatol W. Holt, Frederic G. Commoner |
Events and conditions: system description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 7-24, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Charles L. Seitz |
Asynchronous machines exhibiting concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 93-106, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Anatol W. Holt, Frederic G. Commoner |
Events and conditions: properties of marked graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 25-31, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Michael S. Paterson, Carl E. Hewitt |
Comparative schematology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 119-127, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Jack B. Dennis |
Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 183-199, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Suhas S. Patil |
Closure properties of interconnections of determinate systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 107-116, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Stanley M. Altman, Peter J. Denning |
Decompositions of control networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 81-92, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Jim Gray 0001 |
Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 169-176, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Peter J. Denning |
On the determinacy of schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 143-147, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Jack B. Dennis |
Modular, asynchronous control structures for a high performance processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 55-80, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Dennis Tsichritzis |
Computational processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 177-182, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
26 | Donald R. Slutz |
Flow graph schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Project MAC Conference on Concurrent Systems and Parallel Computation ![In: Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970, pp. 129-141, 1970, ACM, 978-1-4503-4812-6. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
25 | Christie Marr |
Capturing Conflict and Confusion in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 413-438, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion |
25 | Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger |
Trading Probability for Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 292-305, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ami Litman, Shiri Moran-Schein |
Smooth Scheduling under Variable Rates or the Analog-Digital Confinement Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(2), pp. 325-354, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Smooth scheduling, Variable rates, Confinement games, Concurrent confinement games, Non-concurrent confinement games, EDF schemes, EDF strategies, Online scheduling, Two players games |
25 | Ami Litman, Shiri Moran-Schein |
Smooth scheduling under variable rates or the analog-digital confinement game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 74-83, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
EDF schemes, EDF strategies, concurrent confinement games, confinement games, non-concurrent confinement games, smooth scheduling, variable rates, online scheduling, two players games |
25 | Mohammad A. Naal, Emmanuel Simeu, Salvador Mir |
On-Line Testable Decimation Filter Design for AMS Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece, pp. 83-88, 2003, IEEE Computer Society, 0-7695-1968-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
non-concurrent, semi-concurrent, SigmaDelta, decimation filters, analogue BIST, on-line testing |
25 | Kenny Qili Zhu, Kar-Loon Ong |
A reactive method for real time dynamic vehicle routing problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 176-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
real time dynamic vehicle routing problem, concurrent agent-based reactive vehicle routing system, generic concurrent infrastructure, incremental local optimization heuristic, reactive method, real-time systems, optimisation, transportation, heuristic programming, vehicles |
25 | Naotake Kamiura, Masashi Tomita, Teijiro Isokawa, Nobuyuki Matsui |
On Realization of Fault-Tolerant Fuzzy Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTW ![In: 6th IEEE International On-Line Testing Workshop (IOLTW 2000), 3-5 July 2000, Palma de Mallorca, Spain, pp. 185-190, 2000, IEEE Computer Society, 0-7695-0646-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent compensation, fault tolerance, fuzzy control, stuck-at faults, concurrent test |
25 | Shalini Yajnik, Niraj K. Jha |
Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(2), pp. 137-153, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrent fault location, fault diagnosis, concurrent error detection, transient faults, graceful degradation, Algorithm-based fault tolerance |
25 | Maged M. Michael, Michael L. Scott |
Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 267-273, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures |
25 | Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli |
Automatic data mapping of signal processing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1997 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '97), 14-16 July 1997, Zurich, Switzerland, pp. 350-, 1997, IEEE Computer Society, 0-8186-7958-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automatic data mapping, signal processing applications, architectural resources constraints, fine-grain scheduling, concurrent constraints logic programming languages, concurrent resolution technique, panoramic analysis, mapping, parallel machine, data partitioning, distributed memory, real time constraints, logic programming languages |
25 | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
Comparing models of computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 234-241, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
concurrent sequential processes, denotational framework, synchronous events, totally ordered set, value-tag pair, Petri nets, discrete-event systems, models of computation, partially ordered set, concurrent processes, Kahn process networks, sequential processes |
25 | Mark Russinovich, Zary Segall |
Application-transparent checkpointing in Mach 3.O/UX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 114-123, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
application-transparent checkpointing, Mach 3/UX, software based recovery techniques, virtual memory checkpointing algorithms, concurrent Unix applications, stable storage medium, snapshot algorithm execution, checkpoint commit execution, disk storage requirement, external pager facility, parallel programming, distributed computation, Unix, Unix, system recovery, software fault tolerance, operating systems (computers), system performance, virtual storage, concurrent processes, hard disk |
25 | François Lustman |
Specifying Transaction-Based Information Systems with Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(3), pp. 207-217, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification |
25 | Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox |
Dynamic Synchrony Among Atomic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(6), pp. 677-685, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes |
25 | Carl A. Waldspurger, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta |
Spawn: A Distributed Computational Economy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(2), pp. 103-117, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
distributed computational economy, market-based computational system, Spawn system, idle computational resources, heterogeneous computer workstations, coarse-grain concurrent applications, concurrent Monte Carlo simulations, resource distribution, price equilibria, idle processor time, experimental workbench, parallel programming, fairness, computer networks, Monte Carlo methods, distributed network, remote execution, computational markets |
25 | Bharat K. Bhargava, John Riedl |
The Raid Distributed Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 726-736, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Raid distributed database system, adaptable distributed database system, consistent replicated copies, site failures, atomic distributed commitment, layered communications package, location-independent interface, high-performance configuration, reliable distributed transaction processing, transaction processing time, server CPU time, consistent replicated copy control, concurrent distributed checkpointing, transaction processing algorithms, software tool, distributed databases, concurrency control, shared memory, transaction processing, infrastructure, software packages, operating system kernel, concurrent processing, message-passing system, computer communications software |
24 | Martin Sulzmann, Edmund S. L. Lam, Simon Marlow |
Comparing the performance of concurrent linked-list implementations in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009, pp. 37-46, 2009, ACM, 978-1-60558-417-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrent linked list, performance, synchronization |
24 | Thomas T. Hildebrandt, Hugo A. López 0001 |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 417-431, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming |
24 | Neha Rungta, Eric G. Mercer |
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs |
24 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 47-61, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis |
24 | Tao Feng, Fenghua Li, Jianfeng Ma 0001, Sang-Jae Moon |
A new approach for UC security concurrent deniable authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(4), pp. 352-367, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrent deniable authentication, verifiably smooth projective hashing, the decisional composite residuosity assumption, information security, universally composable |
24 | Carlos Olarte, Frank D. Valencia |
Universal concurrent constraint programing: symbolic semantics and applications to security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 145-150, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
symbolic semantics, security, mobility, concurrent constraint programming |
24 | Vineet Kahlon |
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 181-192, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Concurrent Programs, Dataflow Analysis, Parameterized Systems, Pushdown Systems |
24 | K. E. Kennedy |
A concurrent automatic programming system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 94-98, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal verification, automatic programming, colored petri net, concurrent computing |
24 | Yang Xiao 0003, Susan Darling Urban |
Recovery of Concurrent Processes in a Service Composition Environment Using Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I, pp. 139-156, 2008, Springer, 978-3-540-88870-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Service composition, recovery, data dependencies, concurrent execution |
24 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 475-489, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis |
24 | Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon |
A study of student strategies for the corrective maintenance of concurrent software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 759-768, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
think-aloud method, software maintenance, concurrent programming |
24 | Claude Évéquoz |
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 59-72, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking |
24 | Benoit Gaudin, Hervé Marchand |
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(2), pp. 179-209, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems |
24 | Anup Kumar Bandyopadhyay |
Modeling fairness and starvation in concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(6), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
temporal quantifier, temporal logic, fairness, concurrent program, liveness, weakest precondition |
24 | Cemal Basaran, Juan Gomez, Minghui Lin, Shidong Li |
Damage mechanics modeling of concurrent thermal and vibration loading on electronics packaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 269-275, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
concurrent loading, electronics packaging reliability, solder joint life prediction, dynamic analysis |
24 | Yi Deng 0002, Dongdai Lin |
Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology, Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers, pp. 123-137, 2007, Springer, 978-3-540-79498-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Resettable Zero Knowledge, Concurrent Soundness, the Bare Public-Key Model, Resettably sound Zero Knowledge |
24 | David Wheatley |
User-Centered Design and Evaluation of a Concurrent Voice Communication and Media Sharing Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (3) ![In: Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III, pp. 990-999, 2007, Springer, 978-3-540-73108-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrent media sharing, cell-phone applications, User centered design, wireless communications |
24 | Edmund S. L. Lam, Martin Sulzmann |
A concurrent constraint handling rules implementation in Haskell with software transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007, pp. 19-24, 2007, ACM, 978-1-59593-690-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallel implementation of concurrent language |
24 | Jun Chen 0018, Steve MacDonald |
Testing concurrent programs using value schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 313-322, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
value schedule, model checking, concurrent |
24 | Koushik Sen |
Effective random testing of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 323-332, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrent programs, random testing |
24 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 |
Soft concurrent constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(3), pp. 563-589, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Constraints, soft constraints, concurrent constraint programming |
24 | Yu Lei 0001, Richard H. Carver |
Reachability Testing of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(6), pp. 382-403, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software testing, concurrent programming, reachability testing |
24 | Fei Su, Sule Ozev, Krishnendu Chakrabarty |
Concurrent testing of digital microfluidics-based biochips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 11(2), pp. 442-464, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
microfluidics, biochips, Concurrent testing, catastrophic faults |
24 | Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson |
Message analysis for concurrent programs using message passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(4), pp. 715-746, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Static analysis, message passing, Erlang, runtime systems, concurrent languages |
24 | Haim Kermany, Erez Petrank |
The Compressor: concurrent, incremental, and parallel compaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 354-363, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
garbage collection, memory management, compaction, runtime systems, concurrent garbage collection |
24 | Dennis Hofheinz, Dominique Unruh |
Simulatable Security and Polynomially Bounded Concurrent Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA, pp. 169-183, 2006, IEEE Computer Society, 0-7695-2574-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Reactive Simulatability, Universal Composability, concurrent composition |
24 | Liqiang Wang, Scott D. Stoller |
Accurate and efficient runtime detection of atomicity errors in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 137-146, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, atomicity, serializability, data race |
24 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001 |
Concurrent software verification with states, events, and deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(4), pp. 461-483, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning |
24 | Irith Pomeranz, Sudhakar M. Reddy |
Concurrent Online Testing of Identical Circuits Using Nonidentical Input Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(3), pp. 190-200, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Concurrent online testing, structural dependence, testing through output comparison, functional dependence |
24 | Martin T. Vechev, David F. Bacon |
Write barrier elision for concurrent garbage collectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004, pp. 13-24, 2004, ACM, 1-58113-945-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
write barrier, concurrent garbage collection |
24 | Roberto Pérez, Joaquín Aca, Andrés Valverde T., Horacio Ahuett, Arturo Molina 0001, Carles Riba Romeva |
A Modularity Framework for Concurrent Design of Reconfigurable Machine Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, pp. 87-95, 2004, Springer, 3-540-23149-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Modularity, Reconfigurability, Machine Tool, Concurrent Design |
24 | Jean Ferrié, Nicolas Vidot, Michèle Cart |
Concurrent Undo Operations in Collaborative Environments Using Operational Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (1) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part I, pp. 155-173, 2004, Springer, 3-540-23663-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Distributed collaborative systems, copies consistency, concurrent undo, operational transformations |
24 | Rafael Pass |
Bounded-concurrent secure multi-party computation with a dishonest majority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 232-241, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constant-round protocols, simulation-sound zero-knowledge, secure multi-party computation, concurrent composition |
24 | Zhenqiang Chen, Baowen Xu, Jianjun Zhao 0001 |
An overview of methods for dependence analysis of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(8), pp. 45-52, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
concurrent program dependence graph, program dependence analysis, concurrency, program slicing |
24 | Yu Huang 0005, Wu-Tung Cheng, Chien-Chung Tsai, Nilanjan Mukherjee 0001, Omer Samman, Yahya Zaidan, Sudhakar M. Reddy |
On Concurrent Test of Core-Based SOC Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 18(4-5), pp. 401-414, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
concurrent SOC test, pin mapping, 2-dimensional bin-packing, test scheduling |
24 | Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai |
Incremental Integration Testing of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(6), pp. 607-623, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
incremental testing, Software testing, concurrent programs, structural testing |
24 | JoAnn M. Paul, Christopher M. Eatedali, Donald E. Thomas |
The design context of concurrent computation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002, pp. 19-24, 2002, ACM, 1-58113-542-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
simulation, modeling, hardware/software codesign, concurrent computation, digital system design |
24 | Paul C. Attie, E. Allen Emerson |
Synthesis of concurrent programs for an atomic read/write model of computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(2), pp. 187-242, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
specification, temporal logic, concurrent programs, program synthesis, atomic registers |
24 | Jie Xu 0007, Alexander B. Romanovsky, Brian Randell |
Concurrent Exception Handling and Resolution in Distributed Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(10), pp. 1019-1032, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Concurrent exeception handling, exception resolution, nested atomic actions, distributed systems, object-oriented programming |
24 | Ismet Bayraktaroglu, Alex Orailoglu |
Accumulation-based concurrent fault detection for linear digital state variable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 484-, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent fault detection, linear digital state variable systems, algorithmic fault detection scheme, accumulation-based approach, fault diagnosis, logic testing, error detection, error detection, linear systems, digital filters, digital signal processing chips, digital systems, area overhead |
24 | Pascal Poizat, Christine Choppy, Jean-Claude Royer |
From Informal Requirements to COOP: A Concurrent Automata Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 939-962, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
object oriented (Java) code generation, automata, Concurrent systems, specification method |
24 | Christopher H. Nevison |
Seminar: safe concurrent programming in Java with CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1999, New Orleans, Louisiana, USA, March 14-28, 1999, pp. 367, 1999, ACM, 1-58113-085-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, CSP, concurrent programming, threads |
24 | Anand Natrajan, Paul F. Reynolds Jr. |
Resolving Concurrent Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '99), 22-23 October 1999, Greenbelt, MD, USA, pp. 85-92, 1999, IEEE Computer Society, 0-7695-0459-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
dependent concurrent interaction effects serialization |
24 | H. C. Wang, C. K. Yuen, M. D. Feng |
Balinda C++: Runtime Support for Concurrent Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 36-41, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Concurrent object oriented programming(COOP), Balinda C++, Network of Workstations(NoW), Runtime System, Tuplespace |
24 | Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, Sao-Jie Chen |
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(2), pp. 109-135, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
concurrent object-oriented system-level synthesis, fuzzy design-space exploration, learning |
24 | Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon |
A Graphical Environment for the Design of Concurrent Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 6(1), pp. 31-79, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
real-time systems, graphical user interface, temporal logic, concurrent systems, automated deduction, formal specification and verification |
24 | Stefano A. Cerri, Vincenzo Loia |
A Concurrent, Distributed Architecture for Diagnostic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 7(2), pp. 69-105, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ABCL/1 programming language, actors, student modeling, concurrent object-oriented programming, diagnostic reasoning, actor model |
24 | I. Santoyridis, Tom W. Carnduff, W. A. Gray, John C. Miles |
An Object Versioning System to Support Collaborative Design within a Concurrent Engineering Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 15th British National Conferenc on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997, Proceedings, pp. 184-199, 1997, Springer, 3-540-63263-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
object-oriented databases, configuration management, versioning, concurrent engineering, engineering design |
24 | Joaquim Gabarró, Xavier Messeguer |
A Unified Approach to Concurrent and Parallel Algorithms on Balanced Data Structures (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 78-92, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
unified approach, balanced data structures, local rules, insertion algorithms, parallel insertion algorithms, percolation phase, rebalancing phase, parallel algorithms, parallel algorithms, dictionaries, sequential algorithm, AVL trees, concurrent algorithms |
24 | Michael Gössel, Egor S. Sogomonyan |
A parity-preserving multi-input signature analyzer and its application for concurrent checking and BIST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 8(2), pp. 165-177, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parity-preserving signature analyzer, built-in-self-test, concurrent error detection, on-line testing |
24 | E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull |
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 239-248, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems |
24 | Mikio Aoyama |
Sharing the Design Information in a Distributed Concurrent Development of Large-Scale Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 168-175, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Distributed Development Environment, WWW, Data Warehouse, Repository, Document Management, Intranet, Concurrent Engineering, Software Engineering Environment |
24 | Anjan K. Venkatramani, Timothy Mark Pinkston, José Duato |
Generalized Theory for Deadlock-Free Adaptive Wormhole Routing and its Application to Disha Concurrent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 815-821, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
deadlock-free adaptive wormhole routing, Disha Concurrent, central buffers, sequential recovery, resource cost, mutual exclusive access, deadlock-free lane, tree-based networks, performance evaluation, parallel architectures, fault tolerant computing, concurrency control, multiprocessor interconnection networks, multiprocessor interconnection networks, network routing, system recovery, edge, Token, Hamiltonian path, deadlock recovery, k-ary n-cube networks |
24 | D. V. Poornaiah, P. V. Ananda Mohan |
A novel VLSI concurrent dual multiplier-dual adder architecture for image and video coding applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 69-72, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
concurrent dual multiplier-dual adder architecture, video coding applications, high-throughput image coding, carry-save 4:2 compressors, computational complexity, VLSI, VLSI, data compression, video coding, adders, computation time, multiplying circuits, digital signal processing chips |
24 | Heinz W. Schmidt, Jian Chen |
Reasoning about Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 86-95, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation |
24 | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
Event Interactions Graph for Test-case Generation of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 29-37, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Event InterAction Graph, Software testing, Concurrent program, Test-cases, Testing criteria |
24 | Joydeep Ghosh, Sajal K. Das 0001, Ajita John |
Concurrent Processing of Linearly Ordered Data Structures on Hypercube Multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(9), pp. 898-911, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
concurrentprocessing, linearly ordered data structures, concurrentmanipulation, augmented binomial search tree, pruned binomial tree, arbitrary processor node, consecutive nodes, nonoverlappingprocessor lists, intermediate-levelimage processing algorithms, dictionary operations, low-level image processingalgorithms, Gray code embedding, distributed memorymulticomputers, parallel algorithms, parallel programming, broadcast, hypercube networks, trees (mathematics), distributed memory systems, search problems, merge, tree data structures, search trees, k-ary n-cubes, concurrent data structure, hypercube multicomputers, local information, fanout, hypercube systems |
24 | Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna |
A Graphical Interval Logic for Specifying Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 3(2), pp. 131-165, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
automated proof-checking, graphical interval logic, formal specifications, temporal logic, visual languages, concurrent systems, timing diagrams |
24 | Thomas M. Blinn, Keith A. Ackley, Richard J. Mayer |
An integrated concurrent engineering environment for life cycle management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 4(1), pp. 51-65, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
integration, framework, project management, process modeling, enterprise modeling, Concurrent engineering, enterprise integration |
24 | Michael Codish, Moreno Falaschi, Kim Marriott |
Suspension Analyses for Concurrent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 649-686, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, concurrent logic programming |
24 | Marta Z. Kwiatkowska |
Infinite Behaviour and Fairness in Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 348-383, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
fairness, liveness, semantic properties, concurrent constraint programming |
24 | Mohammad Reza Meybodi |
Concurrent Data Structures for Hypercube Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 703-724, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Banyan Heap, Parallel Algorithm, Hypercube, Concurrent Data Structure |
24 | Ehud Shapiro |
Systems Programming in Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 93-105, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
Concurrent Prolog |
Displaying result #601 - #700 of 18005 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|