|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5733 occurrences of 2676 keywords
|
|
|
Results
Found 12684 publication records. Showing 12684 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Ramesh Bharadwaj |
SOL: A Verifiable Synchronous Language for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 140-154, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | David Garriou |
Symbolic Simulation of Synchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 11-18, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Louis Colaço, Marc Pouzet |
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 65-78, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mirabelle Nebut, Sophie Pinchinat |
A Decidable Clock Language for Synchronous Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 125-139, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Vinod Ganapathy, S. Ramesh 0001 |
Slicing Synchronous Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 50-64, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Leszek Holenderski, Axel Poigné |
Synchronous Automata for Synchronous Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 129-134, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Garik Markarian, Phillip Benachour, Bahram Honary |
Novel Decoding Technique for the Synchronous and Quasi-synchronous Multiple Access Adder Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings, pp. 209-220, 1997, Springer, 3-540-63927-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Zoran Kostic, Edward L. Titlebaum |
The design and performance analysis for several new classes of codes for optical synchronous CDMA and for arbitrary-medium time-hopping synchronous CDMA communication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 42(8), pp. 2608-2617, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Giovanni B. Gerace, G. Gestri |
Decomposition of a Synchronous Machine into an Asynchronous Submachine driving a Synchronous One ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 12(5/6), pp. 538-548, May-June 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
16 | Giovanni B. Gerace, G. Gestri |
Decomposition of Synchronous Sequential Machines into Synchronous and Asynchronous Submachines ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 11(5/6), pp. 568-591, November-December 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
15 | Gwenaël Delaval, Hervé Marchand, Éric Rutten |
Contracts for modular discrete controller synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 57-66, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming |
15 | Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
Timing analysis of esterel programs on general-purpose multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 48-51, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multiprocessor, timing analysis, synchronous language, esterel |
15 | Myongkeun Oh, Victor Matveev |
Loss of phase-locking in non-weakly coupled inhibitory networks of type-I model neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 26(2), pp. 303-320, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Non-weak coupling, Non-synchronous dynamics, Inhibitory network, Type-I excitability, Synaptic inhibition, Leader switching, Spike-time response, Phase resetting, Synchronization |
15 | Paul Gastin, Nathalie Sznajder, Marc Zeitoun |
Distributed synthesis for well-connected architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(3), pp. 215-237, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Synthesis problem, Synchronous architectures, Distributed systems |
15 | Philippe Grosse, Yves Durand, Paul Feautrier |
Methods for power optimization in SOC-based data flow systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(3), pp. 38:1-38:20, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
4G base-band modem, data-driven SOC, synchronous data-flow graph, Power optimization |
15 | Ondrej Rysavý, Jaroslav Ráb |
A formal model of composing components: the TLA+ approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 139-148, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications |
15 | Yuzhou Zhang, Jianyong Wang 0001, Yi Wang 0008, Lizhu Zhou |
Parallel community detection on large networks with propinquity dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 997-1006, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data mining, parallel algorithm, graph mining, community detection, bulk synchronous parallel |
15 | Chrisovalantis Kefalidis, Georgia Lazakidou, Symeon Retalis |
SyCo: a collaborative learning tool for generating ideas in private and in public. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 8th International Conference on Interaction Design and Children, IDC 2009, Como, Italy, June 3-5, 2009, pp. 162-165, 2009, ACM, 978-1-60558-395-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
learning, synchronous, creativity support tool, collaborative tool |
15 | Neil Sculthorpe, Henrik Nilsson |
Safe functional reactive programming through dependent types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 23-34, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming |
15 | Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta |
Refining the control structure of loops using static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 49-58, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis |
15 | Reinhard von Hanxleden |
SyncCharts in C: a proposal for light-weight, deterministic concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 225-234, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming |
15 | Lothar Thiele, Nikolay Stoimenov |
Modular performance analysis of cyclic dataflow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 127-136, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus |
15 | Siddharth Garg, Diana Marculescu |
System-level throughput analysis for process variation aware multiple voltage-frequency island designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(4), pp. 59:1-59:25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
manufacturing process variations, maximum cycle mean, voltage-frequency islands, performance analysis, system-level design, Globally asynchronous locally synchronous |
15 | Zhiyi Yu, Michael J. Meeuwsen, Ryan W. Apperson, Omar Sattari, Michael A. Lai, Jeremy W. Webb, Eric W. Work, Tinoosh Mohsenin, Bevan M. Baas |
Architecture and Evaluation of an Asynchronous Array of Simple Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 53(3), pp. 243-259, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
programmable DSP, digital signal processing, DSP, multi-core, array processor, GALS, many-core, chip multi-processor, globally asynchronous locally synchronous |
15 | Danilo Gligoroski, Smile Markovski, Svein J. Knapskog |
The Stream Cipher Edon80. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The eSTREAM Finalists ![In: New Stream Cipher Designs - The eSTREAM Finalists, pp. 152-169, 2008, Springer, 978-3-540-68350-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronous stream cipher, quasigroup, quasigroup string transformations, hardware, Latin square |
15 | Ivan Miro Panades, Fabien Clermidy, Pascal Vivet, Alain Greiner |
Physical Implementation of the DSPIN Network-on-Chip in the FAUST Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Second International Symposium on Networks-on-Chips, NOCS 2008, 5-6 April 2008, Newcastle University, UK. Proceedings, pp. 139-148, 2008, IEEE Computer Society, 978-0-7695-3098-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DSPIN, ANOC, physical implementation, FAUST, bi-synchronous FIFO, network-on-chip, NoC |
15 | Quentin Jones, Mihai Moldovan, Daphne R. Raban, Brian Butler 0001 |
Empirical evidence of information overload constraining chat channel community interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work, CSCW 2008, San Diego, CA, USA, November 8-12, 2008, pp. 323-332, 2008, ACM, 978-1-60558-007-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronous cmc, online communities, chat, information overload, collaborative computing, irc |
15 | Jin-Ho Chung, Kyeongcheol Yang |
Design of M-Ary Low Correlation Zone Sequence Sets by Interleaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETA ![In: Sequences and Their Applications - SETA 2008, 5th International Conference, Lexington, KY, USA, September 14-18, 2008, Proceedings, pp. 313-321, 2008, Springer, 978-3-540-85911-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
low correlation zone (LCZ) sequences, quasi-synchronous code-division multiple access (QS-CDMA), M-ary sequences, interleaved sequences |
15 | J. Alfredo Sánchez 0001, Daniel Strazzulla, Rosa G. Paredes |
Enhancing interaction and collaboration in multimedia rooms with multilayered annotations and telepointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHC ![In: VIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2008), De 21 a 24 de Outubro 2008, Porto Alegre, ANAIS (Proceedings of the VIII Brazilian Symposium on Human Factors in Computing Systems 2008, Porto Alegre, RS, Brazil, October 21-24, 2008), pp. 117-125, 2008, ACM, 978-85-7669-203-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
multi-layer systems, strata, annotations, interactive displays, synchronous collaboration, telepointers |
15 | Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
Transactional events for ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 103-114, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronous message passing, transactional events, concurrency |
15 | Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
Performance debugging of Esterel specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 173-178, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Esterel, WCET analysis, synchronous programming |
15 | Jun Zhu 0011, Ingo Sander, Axel Jantsch |
Energy efficient streaming applications with guaranteed throughput on MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 119-128, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronous moc, energy efficiency, mpsocs, streaming applications |
15 | JianZhou Quan, Yuhui Wang, Zhouping Yin |
Design and Implement of Synchronizing Dual-Drive Gantry Based on Multi-axes Motion Control Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 388-397, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Dual-drive, synchronous compensation control, multi-axes motion control card |
15 | Hyunok Oh |
Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 190-193, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior |
15 | Olivier Tardieu |
A deterministic logical semantics for pure Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(2), pp. 8, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Synchronous languages, structural operational semantics |
15 | Li Liu 0007, David A. Cartes, Jabid Quiroga |
Modeling and simulation for condition based maintenance: a case study in Navy ship application. ![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. 244-249, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
condition based maintenance (CBM), permanent magnet synchronous motors, ship, fault diagnosis |
15 | Pabitra Mohan Khilar, Sudipta Mahapatra |
Intermittent Fault Diagnosis in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 145-147, 2007, IEEE Computer Society, 0-7695-3068-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, Identifiability, synchronous systems, intermittent faults, distributed diagnosis |
15 | Malay K. Ganai, Aarti Gupta |
Efficient BMC for Multi-Clock Systems with Clocked Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 310-315, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks |
15 | Mohamed Kawokgy, C. André T. Salama |
A low-power CSCD asynchronous viterbi decoder for wireless applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2007 International Symposium on Low Power Electronics and Design, 2007, Portland, OR, USA, August 27-29, 2007, pp. 363-366, 2007, ACM, 978-1-59593-709-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
current sensing completion detection, low-power, synchronous, wireless, digital signal processing, asynchronous, viterbi, handshaking |
15 | David Gamez |
SpikeStream: A Fast and Flexible Simulator of Spiking Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2007, 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I, pp. 360-369, 2007, Springer, 978-3-540-74689-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SpikeStream, event-based simulation, synchronous simulation, biologically inspired robotics, Spiking neural networks |
15 | Dirk Stichling, Natascha Esau, Bernd Kleinjohann, Lisa Kleinjohann |
Real-Time Camera Tracking for Mobile Devices: The VisiTrack System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 32(3), pp. 279-305, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
camera tracking, synchronous dataflow graphs, computer vision, real-time, augmented reality, robotics, SDF |
15 | Xin Li 0020, Reinhard von Hanxleden |
A concurrent reactive Esterel processor based on multi-threading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 912-917, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multithreading, processor architecture, synchronous languages, esterel |
15 | Gwenaël Delaval, Éric Rutten |
A domain-specific language for task handlers generation, applying discrete controller synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 901-905, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
discrete control synthesis, safe design, real-time systems, domain-specific language, synchronous programming |
15 | Olivier Tardieu, Robert de Simone |
Loops in esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(4), pp. 708-750, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
static analysis, code generation, Synchronous languages |
15 | Martin D. Beer, Frances Slack, Gillian Armitt |
Collaboration and Teamwork: Immersion and Presence in an Online Learning Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 7(1), pp. 27-37, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semi-immersive environment, collaborative learning, presence, problem-based learning, synchronous communication, occupational therapy |
15 | Janis Sermulins, William Thies, Rodric M. Rabbah, Saman P. Amarasinghe |
Cache aware optimization of stream programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois, USA, June 15-17, 2005, pp. 115-126, 2005, ACM, 1-59593-018-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cache, embedded, fusion, cache optimizations, synchronous dataflow, stream programing, StreamIt |
15 | Junfeng Li, Xiwen Zhang, Xiang Ao, Guozhong Dai |
Sketch recognition with continuous feedback based on incremental intention extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 10th International Conference on Intelligent User Interfaces, IUI 2005, San Diego, California, USA, January 10-13, 2005, pp. 145-150, 2005, ACM, 1-58113-894-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
incremental intention extraction, lag window, on-line synchronous recognition, sketch recognition |
15 | K. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou |
Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 129-138, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
TCoDA, Multimedia, Real-time, synchronous, streaming, Music, Digital, Ensemble, TMO |
15 | Darren Aaberge, Ken Mockler, Dieu Van Dinh, Raoul Belleau, Tim Donovan, Reid Hewlitt |
Meeting the Test Challenges of the 1 Gbps Parallel RapidIO Interface with New Automatic Test Equipment Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 23rd IEEE VLSI Test Symposium (VTS 2005), 1-5 May 2005, Palm Springs, CA, USA, pp. 75-84, 2005, IEEE Computer Society, 0-7695-2314-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
RapidIO, Source-Synchronous, LVDS, Differential, ATE, Non-determinism |
15 | Yuan-sheng Luo, Dafang Zhang, Yinghua Min |
An Improved Scheme of Index-Based Checkpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China, pp. 167-174, 2005, IEEE Computer Society, 0-7695-2492-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Domino-effect, Active-synchronous, Distributed systems, Index, Checkpoint |
15 | William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe |
Teleport messaging for distributed stream programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 224-235, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
embedded, digital signal processing, dependence analysis, synchronous dataflow, StreamIt, event handling |
15 | Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu |
A compile-time optimization framework for Ada rendezvous. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(2), pp. 18-25, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
task, asynchronous communication, rendezvous, synchronous communication |
15 | William D. Tucker |
Connecting bridges across the digital divide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1039-1040, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
community-centered, semi-synchronous, user interface, instant messaging, digital divide, multi-modal |
15 | Mohamed Kawokgy, C. André T. Salama |
Low-power asynchronous viterbi decoder for wireless applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 286-289, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
bundled-data, four-phase, low-power, synchronous, wireless, VHDL, digital signal processing, asynchronous, register transfer level, viterbi algorithm, speed-independent, handshaking protocol |
15 | Naishuo Tian, Zhe George Zhang |
Stationary Distributions of GI/M/c Queue with PH Type Vacations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 44(2), pp. 183-202, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GI/M/c queue, synchronous vacations, PH distribution, matrix-geometric solution, stochastic decomposition |
15 | Xiaohua Kong, Radu Negulescu, Larry Weidong Ying |
Refinement-based formal verification with heterogeneous timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(3), pp. 359-370, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Communication refinement, Refinement-based verification, Relative timing, globally asynchronous locally synchronous, Process space |
15 | Nadine Richard |
InViWo agents: write once, display everywhere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Eighth International Conference on 3D Web Technology, Web3D 2003, Saint Malo, France, March 9-12, 2003, pp. 123-127, 2003, ACM, 1-58113-644-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
avatars, virtual agents, synchronous systems, Java3D |
15 | Michal Karczmarek, William Thies, Saman P. Amarasinghe |
Phased scheduling of stream programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 103-112, 2003, ACM, 1-58113-647-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
cyclo-static dataflow, phased scheduling, DSP, buffer size, synchronous dataflow, stream programming, code size, StreamIt |
15 | Cheng-Yuan Lin, Jyh-Shing Roger Jang, Mao-Yuan Hsu |
An automatic singing voice rectifier design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the Eleventh ACM International Conference on Multimedia, Berkeley, CA, USA, November 2-8, 2003, pp. 267-270, 2003, ACM, 1-58113-722-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
pitch synchronous overlap and add, singing voice rectifier, dynamic time warping |
15 | Emil Talpes, Diana Marculescu |
A critical analysis of application-adaptive multiple clock processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003, Seoul, Korea, August 25-27, 2003, pp. 278-281, 2003, ACM, 1-58113-682-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multi clock processors, dynamic voltage scaling, microarchitecture, simulation framework, globally asynchronous locally synchronous |
15 | Irith Pomeranz, Sudhakar M. Reddy |
Enumeration of Test Sequences in Increasing Chronological Order to Improve the Levels of Compaction Achieved by Vector Omission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(7), pp. 866-872, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
synchronous sequential circuits, Static test compaction |
15 | Lucia Rapanotti, Canan Tosunoglu Blake, Robert Griffiths 0002 |
eTutorials with voice groupware: real-time conferencing to support computing students at a distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark, June 24-28, 2002, pp. 116-120, 2002, ACM, 1-58113-499-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
eTutorials, synchronous conferencing, voice groupware, distance learning |
15 | Bassel R. Arafeh |
Clustering Algorithm for Scheduling Parallel Programs on NOWs with Synchronization Requirements at the Application Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Clustering, deadlocks, scheduling algorithms, network of Workstations, synchronous communication |
15 | Josep Carmona 0001, Jordi Cortadella |
Input/Output Compatibility of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 360-377, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory |
15 | Gabriela Peretti, Eduardo Romero 0002, Franco Salvático, Carlos A. Marqués |
A Functional Approach to Test Cascaded BCD Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 1st IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2002), 29-31 January 2002, Christchurch, New Zealand, pp. 408-412, 2002, IEEE Computer Society, 0-7695-1453-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
off-line built-in self-test, functional test, synchronous systems, digital testing |
15 | Hak-soo Yu, Jacob A. Abraham |
An Efficient 3-Bit -Scan Multiplier without Overlapping Bits, and Its 64x64 Bit Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 441-446, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
3-bit-scan, power-delay-area tradeoffs, synchronous sequential, multiplier, partial product |
15 | Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang |
Modeling statecharts and activitycharts as signal equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 10(4), pp. 397-451, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages |
15 | R. K. Shyamasundar, J. V. Aghav |
Validating Real-Time Constraints in Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 347-355, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems |
15 | Martin Rötteler, Jörn Müller-Quade |
Separation of Orbits under Group Actions with an Application to Quantum Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(4/5), pp. 279-303, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Graph of the action, Local unitary transformations, Invariant theory, Synchronous operation |
15 | Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang |
CIMO - Component Integration MOdel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 344-348, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
CIMO, Component Integration Model, binary interface standard, specialized software components, component interoperation, scalable component-based applications, formal specification, specifications, object-oriented methods, asynchronous communication, subroutines, distributed object management, synchronous communication, Component Object Model |
15 | Irith Pomeranz, Sudhakar M. Reddy |
Fault diagnosis based on parameters of output responses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA, pp. 139-147, 2000, IEEE Computer Society, 0-7695-0975-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
output responses parameters, unmodeled faults, fault diagnosis, fault diagnosis, logic testing, sequential circuits, dictionaries, synchronous sequential circuits, diagnostic resolution |
15 | Mauricio Marín |
Comparative Analysis of a Parallel Discrete-Event Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 172-177, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
simulation running times, optimistic synchronization protocol, bulk-synchronous parallel model, parallel processing, protocols, benchmarks, discrete event simulation, synchronisation, software performance evaluation, parallel discrete-event simulator, large scale systems, protocol performance |
15 | William F. McColl, Alexandre Tiskin |
Memory-Efficient Matrix Multiplication in the BSP Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 24(3-4), pp. 287-297, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Bulk-synchronous parallel computation, Memory efficiency, BSP, Parallel matrix multiplication |
15 | Paul Caspi, Alain Girault, Daniel Pilaud |
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(3), pp. 416-427, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributed processing, reactive systems, Asynchronous communications, synchronous languages, automatic distribution |
15 | John M. Rushby |
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(5), pp. 651-660, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems |
15 | Ivan Marsic |
DISCIPLE: A Framework for Multimodal Collaboration in Heterogeneous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 31(2es), pp. 4, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
CSCW frameworks, shared electronic workspaces, group communication, multimodal interface, JavaBeans, synchronous groupware |
15 | Wen Li, Weicong Wang, Ivan Marsic |
Collaboration transparency in the DISCIPLE framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of GROUP'99, International Conference on Supporting Group Work, November 14-17, 1999, Embassy Suites Hotel, Phoenix, Arizona, USA, pp. 326-335, 1999, ACM, 1-58113-065-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
CSCW frameworks, collaboration-transparent applications, JavaBeans, synchronous groupware |
15 | Christophe Cérin, Jean-Luc Gaudiot |
Algorithms for Stable Sorting to Minimize Communications in Networks of Workstations and Their Implementations in BSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCC ![In: International Workshop on Cluster Computing (IWCC '99), 2-3 December 1999, Melbourne, Australia, pp. 112-120, 1999, IEEE Computer Society, 0-7695-0343-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
foundations of parallel languages, bulk synchronous parallel model and broadcasting with selective reduction model. algorithms for solving problems on clusters, job and resource management, parallel programming |
15 | Gera Goft, Esti Yeger Lotem |
The AS/400 Cluster Engine: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 44-49, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
horizontal growth, virtually synchronous group communications, shared-nothing model, callback function, reliable FIFO-ordered multicast, reliable Totally-ordered multicast, Inter-group consistency, Flexible Group Member, strong virtual synchrony, Cluster, high availability, group membership, disaster recovery |
15 | Carl K. Chang, Alexei Vorontsov, Jia Zhang 0001, Francis K. H. Quek |
Rule-Mitigated Collaboration Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 20-22 December 1999, Cape Town, South Africa, Proceedings, pp. 137, 1999, IEEE Computer Society, 0-7695-0468-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
RRO, Discussion threads, Synchronous/Asynchronous, CSCW, Scope |
15 | Weiqun Zheng, Shamim Khan, Hong Xie |
BSP Pro: A Java-Based BSP Performance Profiling System. ![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. 54-61, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Bulk Synchronous Parallel (BSP) model, Java, performance evaluation, load balancing, profiling, performance prediction, visualisation, cost model |
15 | Irith Pomeranz, Sudhakar M. Reddy |
On Test Compaction Objectives for Combinational and Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India, pp. 279-284, 1998, IEEE Computer Society, 0-8186-8224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
combinational circuits synchronous sequential circuits test compaction tester storage schemes tester memory requirements |
15 | Ifay F. Chang |
Internet interactive authoring, teach and learning-a breakthrough for education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 97-98, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Internet interactive authoring, telecommunication medium, inverted open platform, common browser user interface, common network platform, information handling technologies, cross platform language, Web publishing system, teaching content, information publishing, Internet education systems, pedagogic research, IT technological advances, JAVA, Internet, education, authoring, programming languages, teaching, learning systems, user community, asynchronous interaction, synchronous interaction |
15 | Shmuel Katz, Patrick Lincoln, John M. Rushby |
Low-Overhead Time-Triggered Group Membership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings, pp. 155-169, 1997, Springer, 3-540-63575-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
time-triggered protocol, fault tolerance, formal modeling, group membership, synchronous algorithms |
15 | Konrad Klöckner, Peter Mambrey, Wolfgang Prinz, Markus Sohlenkamp |
Multimedia groupware design for a distributed government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 144-149, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multimedia groupware design, distributed government, German government, Bonn, Berlin, telecooperation, government ministries, POLITeam project, asynchronous cooperation, synchronous cooperation, electronic circulation folder, common workspace, office processes, prototypes, participatory design, user requirements, government data processing, Germany, Germany |
15 | Donald L. Hung, Antonio Arsgao, Jorge L. Silva, Eduardo Marques, Karl Hillesland |
UB1 - a recurrent neural network based parallel machine for solving simultaneous linear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBRN ![In: 4th Brazilian Symposium on Neural Networks, SBRN 1997, Campos do Jordao, Brazil, December 3-5, 1997, pp. 14-18, 1997, IEEE Computer Society, 0-8186-8070-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
UB1 recurrent neural network, simultaneous linear equation solving, synchronous execution, field programmable gate arrays, real-time systems, parallel machine, systolic array, neural chips, ring topology, neural net architecture |
15 | Dilip Krishnaswamy, Elizabeth M. Rudnick, Janak H. Patel, Prithviraj Banerjee |
SPITFIRE: scalable parallel algorithms for test set partitioned fault simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 274-281, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SPITFIRE, scalable parallel algorithms, test set partitioned fault simulation, synchronous parallel algorithms, sequential VLSI circuits, VLSI, fault coverage |
15 | R. K. Aditham, Rajiv Jain, Murali Srinivasan |
Interest Based Collaboration Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 6th Workshop on Enabling Technologies (WET-ICE '97), Infrastructure for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA, USA, Proceedings, pp. 75-81, 1997, IEEE Computer Society, 0-8186-7967-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
dynamic interest specification, synchronous collaborative applications, flexible medium, message passing, message passing, collaboration framework |
15 | Mark Roseman, Saul Greenberg |
Building Real-Time Groupware with GroupKit, a Groupware Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 3(1), pp. 66-106, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
GroupKit, computer-supported cooperative work, user interface toolkits, synchronous groupware, groupware toolkits |
15 | G. Seaman |
A Latency-Hiding MIMD Wavelet Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 22-26, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
latency-hiding MIMD wavelet transform, systolic processors, MIMD systems, tree-based structure, data-parallel SIMD, synchronous fine-grained communication, data driven algorithm, real-time systems, real time systems, parallel algorithms, parallel algorithm, scalable, parallel processing, wavelet transforms, message passing, message-passing, SIMD, discrete wavelet transform, trees (mathematics), mathematics computing, communication latency |
15 | José Miguel-Alonso, Agustin Arruabarrena, Ramón Beivide, José A. B. Fortes |
An Empirical Evaluation of Techniques for Parallel Discrete-Event Simulation of Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 219-226, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
interconnnection networks, synchronous simulation, Intel Paragon multicomputer, model decomposition, collaborative logical processes, process synchronization overhead, causal restrictions, message-passing network models, performance threshold, load level, scalability, parallel programming, virtual machines, message passing, multiprocessor interconnection networks, discrete event simulation, synchronisation, software performance evaluation, workload, empirical evaluation, parallel discrete-event simulation, optimistic simulation, network size, model parameters, simulator performance, message length, conservative simulation, processor number |
15 | Hideki Murayama, Satoshi Yoshizawa, Takeshi Aimoto, Hidenori Inouchi, Shooichi Murase, Takehisa Hayashi, Hiroshi Iwamoto |
A Study of High-Performance Communication Mechanism for Multicomputer Systems. ![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. 76-83, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
protocol overhead, copy-less communication, synchronous non-blocking interface, UNIX, communication mechanism |
15 | Vigyan Singhal, Sharad Malik, Robert K. Brayton |
The case for retiming with explicit reset circuitry. ![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. 618-625, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
reset state, synchronous reset, asynchronous reset, Retiming, initial state |
15 | Niki Afshartous, Malcolm C. Harrison |
Expressing concurrency in Griffin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 292-, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication |
15 | Yong Sun, Hongji Yang |
Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 303-310, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism |
15 | Yuan Lu, Irith Pomeranz |
Synchronization of large sequential circuits by partial reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 93-98, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
large synchronous sequential circuits, synchronization, sequential circuits, synchronisation, feedback loops, synchronizing sequence, partial reset |
15 | Srikanth Venkataraman, Ismed Hartanto, W. Kent Fuchs |
Dynamic diagnosis of sequential circuits based on stuck-at faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 198-203, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
dynamic diagnosis, stuck-at fault simulation, cause-effect analysis, effect-cause analysis, error propagation back-trace, fault diagnosis, logic testing, sequential circuits, synchronous sequential circuit, matching algorithm |
15 | Xuemin Lin 0001, Simon Fox |
An effective parallelization of execution of multijoins in multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 63-69, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multijoins execution, synchronous execution strategy, processor allocation problem, inter-operator parallelization problem, parallelization, relational databases, multiprocessing systems, multiprocessor systems, processor scheduling |
15 | Shawn Koppenhoefer, Jean-Dominique Decotignie |
Formal verification for distributed real-time control: periodic Producer/Consumer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 230-238, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
distributed real-time control, periodic Producer/Consumer, adapted synchronous model, communication parameters, distributed periodic control, communication in networks, communication failures, buffer overwrites, model, verification, formal verification |
15 | Yen-Jen Lee, Horng-Juing Lee, Wei-hsiu Ma, David Hung-Chang Du |
A Systematic Approach to Design the Network-Based Learning Environment for Home and Office. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 335-344, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
home working, network-based learning environment, asynchronous education, synchronous education, user registration, course material storage, multiple delivery, end-user viewing tools, lecture model, lecture materials, lecture presentation, lecture interaction, synchronization specification, strong-weak networked hyperlink, distributed network environment, object-oriented modular design, timeline-based presentation synchronization, event-driven presentation synchronization, browsing tools, home, content creation, telecommuting, office, media objects |
|
|