|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8252 occurrences of 4039 keywords
|
|
|
Results
Found 11069 publication records. Showing 11069 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Claudio Truzzi, Eric Beyne, Edwin Ringoot, J. Peeters |
Signal propagation in high-speed MCM circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 12-17, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
thin film circuits, signal propagation, high-speed MCM circuits, thin-film multichip module substrate, timing analyses, lossy interconnection lines, timing, circuit analysis computing, circuit simulations, CMOS integrated circuits, CMOS integrated circuits, multichip modules, receivers, drivers, microsystems, substrates |
13 | Michael Sheliga, Edwin Hsing-Mean Sha |
Bus minimization and scheduling of multi-chip systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 40-45, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
bus minimization, multi-chip module design, scheduling, scheduling, logic CAD, polynomial time algorithm, circuit layout CAD, multichip modules, signal flow graphs, signal flow graphs, algorithm efficiency |
13 | Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001 |
Formal synthesis of circuits with a simple handshake protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 255-259, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
formal circuit synthesis, preproven building blocks, higher-order temporal operators, parametrized data signals, sequentially composed modules, parallel module composition, protocols, high level synthesis, logic design, operator semantics, template, formal logic, correctness proofs, synchronous circuits, handshake protocol, HOL theorem prover |
13 | D. V. Das |
EM simulation [ICs and MCMs]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 264-267, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
electromagnetic field theory, transmission line matrix methods, integrated circuit packaging, EM simulation, emitted radiation, transmission line matrix method, electromagnetic simulation, TLM method, signal integrity, multichip modules, IC, MCM, electromagnetic field |
13 | Dhiraj K. Pradhan, Nitin H. Vaidya |
Roll-Forward Checkpointing Scheme: A Novel Fault-Tolerant Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(10), pp. 1163-1174, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
roll-forward checkpointing scheme, active processing modules, duplex system redundancy, fault tolerant computing, redundancy, multiprocessing systems, fault-tolerant architecture, triple modular redundant system, multiprocessor environment |
13 | Kang G. Shin, Hagbae Kim |
A Time Redundancy Approach to TMR Failures Using Fault-State Likelihoods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(10), pp. 1151-1162, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
time redundancy approach, TMR failures, fault-state likelihoods, processing modules, disagreement detector, system reconfiguration, adaptive recovery method, fault tolerant computing, redundancy, digital simulation, simulation results, Bayes methods, voters, triple modular redundant system, Bayes theorem |
13 | Gianfranco Ciardo, Christoph Lindemann |
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(12), pp. 1453-1456, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
self-stabilizing clock synchronization, deterministic and stochastic Petri net, fault-tolerant clock synchronisation systems, clocking modules, software package DSPNexpress, performance evaluation, Petri nets, fault tolerant computing, synchronisation, stochastic processes, stochastic Petri nets, steady-state analysis |
13 | Syed Masud Mahmud |
Performance Analysis of Multilevel Bus Networks for Hierarchical Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(7), pp. 789-805, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
multilevel bus networks, hierarchical multiprocessors, partial multiple bus system, bus architecture, hierarchical multiprocessor design, synchronous multilevel bus systems, asynchronous multilevel bus systems, hierarchical reference model, MVA algorithm, performance evaluation, fault tolerance, performance analysis, parallel architectures, connections, queueing theory, multiprocessing systems, analytical models, bandwidth, queueing networks, switches, simulation models, memory bandwidth, packet-switched networks, cost-effectiveness, system buses, local computations, memory modules |
13 | Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing |
Composing First-Class Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(6), pp. 1719-1736, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
skeins, undoability, transactions, recovery, threads, modules, persistence, serializability, Standard ML |
13 | David Hung-Chang Du, Ichiang Lin, K. C. Chang 0001 |
On Wafer-Packing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(11), pp. 1382-1388, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
wafer-packing problems, multiple chip designs, fabrication cost, VLSI, NP-hard, heuristic algorithms, VLSI design, multichip modules, polynomial-time solvable |
13 | Nitin H. Vaidya, Dhiraj K. Pradhan |
Fault-Tolerant Design Strategies for High Reliability and Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(10), pp. 1195-1206, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
fault-tolerant design strategies, modular redundant systems, multiple identical modules, built-in error detection, fault tolerant computing, redundancy, safety, error detection, arbiter, computer interfaces, high reliability |
13 | Keumog Ahn, Sartaj Sahni |
NP-Hard Module Rotation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(12), pp. 1506-1510, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
NP-hard module rotation problems, circuit modules, performance, computational complexity, circuit layout CAD, circuit layout CAD, routability |
13 | Alain Cournier, Michel Habib |
An Efficient Algorithm to Recognize Prime Undirected Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings, pp. 212-224, 1992, Springer, 3-540-56402-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
substitution decomposition, autonomous subsets, modules, Undirected graphs, prime graphs |
13 | Scott T. Toborg, Kai Hwang 0001 |
Cooperative Vision Integration Through Data-Parallel Neural Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(12), pp. 1368-1379, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
cooperative vision integration, data-parallel neural computations, neural network approach, multiple early vision modules, intensity contours, Hebbian adaptation, single-instruction-multiple-data mode, computer vision, image segmentation, optical flow, computerised picture processing, neural nets, Hopfield neural networks, massively parallel computer, deterministic annealing, function minimization, stereo disparity |
13 | Yonatan Aumann, Michael Ben-Or |
Asymptotically Optimal PRAM Emulation on Faulty Hypercubes (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 440-446, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
dynamically faulty network, asymptotically optimal PRAM emulation, parallel random access machine, faulty hypercubes, memory modules |
13 | Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin |
PM: A System to Support the Automatic Acquisition of Programming Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 2(3), pp. 273-282, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
partial metrics, code modules, hierarchically structured collection, object-oriented stepwise implementation, symbolic learning, frame-based encoding, problem-solving activities, sort module, software engineering, object-oriented programming, heuristic, knowledge acquisition, knowledge acquisition, aggregates, library, chunking, stepwise refinement, PM |
13 | Hugo de Garis |
Genetic Programming: Artificial Nervous Systems, Artificial Embryos and Embryological Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature, 1st Workshop, PPSN I, Dortmund, Germany, October 1-3, 1990, Proceedings, pp. 117-123, 1990, Springer, 3-540-54148-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Hyper-Complex Systems, Time Dependent Neural Network Modules, GenNets, Brain Building, Artificial Nervous Systems, Genetically Programmed Insect Robots, Artificial Embryos, Darwin Machines, Genetic Algorithm, Genetic Programming, Artificial Life, Embryonics |
13 | Sally G. Smith |
Incremental Computation of Squares and Sums of Squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(9), pp. 1325-1328, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
bit-sequential operation, symmetry properties, incremental multipliers, hardware modules, digit-on-line algorithm, magnitude extraction operations, plane vectors, digital arithmetic, scalar multiplication, hardware architectures, incremental algorithm, sums of squares |
13 | David K. Probst, Hon Fung Li |
Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(6), pp. 710-720, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
correctness proving, abstract specification, synchronous data types, systolic network implementations, Parnas trace method, VLSI, VLSI, data structures, data flow, control flow, cellular arrays, software modules |
13 | Jing-Yang Jou, Jacob A. Abraham |
Fault-Tolerant FFT Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(5), pp. 548-561, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
error location, fault tolerant FFT networks, N-point fast Fourier transform, log/sub 2/N stages, N/2 two-point butterfly modules, fault-secure results, data retry technique, functional errors, physical failures, time-redundancy method, negligible hardware overhead, parallel architectures, fault tolerant computing, redundancy, integrated circuit testing, throughput, fast Fourier transforms, error detection, fault model, automatic testing, digital arithmetic, error analysis, fault location, concurrent error detection, digital integrated circuits, roundoff errors, roundoff errors |
13 | Lui Sha, John P. Lehoczky, E. Douglas Jensen |
Modular Concurrency Control and Failure Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(2), pp. 146-159, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery |
13 | Vinciane Lacroix |
A Three-Module Strategy for Edge Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(6), pp. 803-810, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
three-module strategy, nonmaximum-deletion algorithm, learning edges, binary edge images, parallel process, parallel processing, edge detection, computerised picture processing, computerised pattern recognition, modules, contextual information, gray-level images, computerized pattern recognition, computerized picture processing, contour following, sequential process |
13 | Stanley L. Hurst |
Multiple-Valued Logic - Its Status and Its Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 33(12), pp. 1160-1179, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
universal modules, Post algebra, logic circuits, multiple-valued logic, Boolean algebra, logic arrays, structured design, orthogonal transformations, digital system design |
13 | X. Chen, Stanley L. Hurst |
A Comparison of Universal-Logic-Module Realizations and Their Application in the Synthesis of Combinatorial and Sequential Logic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 31(2), pp. 140-147, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
universal-logic-modules, Custom LSI design, function realization statistics, input-programmable gates, uncommitted-logic-arrays |
13 | R. M. M. Oberman |
Comments on "Modular Replacement of Combinational Switching Networks". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(1), pp. 59-61, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
dynamic programming, decomposition, modules, design automation, Combinational logic, replacement |
13 | Kai Hwang 0001 |
Global and Modular Two's Complement Cellular Array Multipliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(4), pp. 300-306, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
two's complement multiplication., Additive multiply modules, cellular array multipliers, two's complement multiplication, LSI arithmetic arrays, multiplication networks, pipelined arithmetic design, computer arithmetic |
13 | Vijay K. Bhargava |
Some Codes of Rahman and Blake for Computer Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 27(8), pp. 765-767, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
threshold decoding, Electrically independent modules, supplementary difference sets, error correction, logic circuits, Galois fields |
13 | David P. Casasent, Peter D. Rapp |
System Functions for an Optical/Digital Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 27(8), pp. 732-738, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
register transfer modules, Hybrid processor, modular optical/digital interface, optical/digital processor, image processing, optical computing, radar signal processing |
13 | Russell R. Atkinson, Barbara H. Liskov, Robert Scheifler |
Aspects Of Implementing CLU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 123-129, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
CLU, Implementation methods, Parameterized modules, CLU, Programming language, Exception handling, Iterators |
13 | Alexander Iosupovicz |
Adaptive Universal Fault-Tolerant Logic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 24(10), pp. 1043-1048, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
dynamic error correction, fault-tolerant logic, tree arrays, universal logic modules, programmable logic, cellular logic, Adaptive logic |
11 | Iris Adä, Michael R. Berthold |
The new iris data: modular data generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 413-422, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
artificial data, pipeline tool, data generation |
11 | So Kanno |
Jamming gear: research on gearwheeled timing playback devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 4th International Conference on Tangible and Embedded Interaction 2010, Cambridge, MA, USA, January 24-27, 2010, pp. 377-378, 2010, ACM, 978-1-60558-841-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
gearwheel, music |
11 | Huabin Chen, Fenglin Lv 0001, Tao Lin 0011, Shanben Chen |
Closed-Loop Control of Robotic Arc Welding System with Full-penetration Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 56(5), pp. 565-578, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Feed forward compensation, Robotic arc welding, Penetration control, Closed-loop |
11 | Jie Bao 0001, George Voutsadakis, Giora Slutzki, Vasant G. Honavar |
Package-Based Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modular Ontologies ![In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, pp. 349-371, 2009, Springer, 978-3-642-01906-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Spröwitz, Aude Billard, Pierre Dillenbourg, Auke Jan Ijspeert |
Roombots-mechanical design of self-reconfiguring modular robots for adaptive furniture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 4259-4264, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Ignazio Palmisano, Valentina A. M. Tamma, Terry R. Payne, Paul Doran |
Task Oriented Evaluation of Module Extraction Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 130-145, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Vladimir Villarreal, Javier Laguna, Silvia López, Jesús Fontecha, Carmen Fuentes, Ramón Hervás, Diego López de Ipiña, José Bravo 0001 |
A Proposal for Mobile Diabetes Self-control: Towards a Patient Monitoring Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 870-877, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Framework, Mobile Phone, Healthcare, Diabetes, Mobile Monitoring |
11 | Delphine Longuet, Marc Aiguier |
Integration Testing from Structured First-Order Specifications via Deduction Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 261-276, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Barbara M. Wildemuth, Jeffrey Pomerantz, Sanghee Oh, Seungwon Yang, Edward A. Fox |
The variety of ways in which instructors implement a modular digital library curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: Proceedings of the 2009 Joint International Conference on Digital Libraries, JCDL 2009, Austin, TX, USA, June 15-19, 2009, pp. 455-456, 2009, ACM, 978-1-60558-322-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
education, digital libraries, computer science, curriculum development, instruction, library and information science |
11 | Xinyu Feng 0001 |
Local rely-guarantee reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 315-327, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning |
11 | Paulo Moura |
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 23, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Johan Åkerberg, Mats Björkman |
Exploring Security in PROFINET IO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 406-412, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä |
A Module-Based Framework for Multi-language Constraint Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 155-168, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Fan Long, Xi Wang 0005, Yang Cai 0001 |
Api hyperlinking via structural overlap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 203-212, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
api recommendation, module clustering, overlap rank |
11 | Seungju Bang, Kyoungju Park |
Oriental stylization with strokes and shades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2009, New Orleans, Louisiana, USA, August 3-7, 2009, Poster Proceedings, 2009, ACM, 978-1-4503-7928-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Sriram Sambamurthy, Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham |
Functionally valid gate-level peak power estimation for processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 10th International Symposium on Quality of Electronic Design (ISQED 2009), 16-18 March 2009, San Jose, CA, USA, pp. 753-758, 2009, IEEE Computer Society, 978-1-4244-2952-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Tangjianfeng, Zhangxianing, Wangjicheng |
Research of computer simulation system based on SOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 1269-1273, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
computer simulation system, service-oriented architecture, object-oriented design |
11 | Manuel Carcenac |
A modular neural network applied to image transformation and mental images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 17(5-6), pp. 549-568, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mental images, Mental assemblage, Modular neural networks, Image transformation, Mental rotation, Levenberg-Marquardt method |
11 | David Poe, Christine Hansen, Kellie McGowan, Gautam Singh |
Refining educational content through a closed-loop FLOW approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 40(2), pp. 102-106, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
e-education, knowledge data systems, knowledge engineering, computers in education, web-based education |
11 | Amit Kumar Gupta, Saeid Nooshabadi, David S. Taubman |
Efficient Interfacing of DWT and EBCOT in JPEG2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 18(5), pp. 687-693, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yong Zhan, Sachin S. Sapatnekar |
Automated module assignment in stacked-Vdd designs for high-efficiency power delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Emerg. Technol. Comput. Syst. ![In: ACM J. Emerg. Technol. Comput. Syst. 4(4), pp. 18:1-18:20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Eero Aho, Jarno Vanne, Timo D. Hämäläinen |
Configurable Data Memory for Multimedia Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 50(2), pp. 231-249, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stride access, configurable, parallel memory, skewing scheme, SIMD processing |
11 | Kun Wang, Yu Zhang, Huayong Wang, Xiaowei Shen |
Parallelization of IBM mambo system simulator in functional modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 42(1), pp. 71-76, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parallel simulation, dynamic binary translation, architectural simulation |
11 | Vincenzo Giordano, Jing Bing Zhang, David Naso, Frank L. Lewis |
Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(1), pp. 53-70, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Bindu Goel, Yogesh Singh |
Empirical Investigation of Metrics for Fault Prediction on Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer and Information Science ![In: Computer and Information Science [outstanding papers from IEEE/ACIS ICIS/IWEA 2008], pp. 255-265, 2008, Springer, 978-3-540-79186-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fault prone classes, OO metrics, software engineering, prediction models, logistic regression, linear regression |
11 | Miguel Lopez, Patricia Melin, Oscar Castillo 0001 |
Optimization of Response Integration with Fuzzy Logic in Ensemble Neural Networks Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing for Hybrid Intelligent Systems ![In: Soft Computing for Hybrid Intelligent Systems, pp. 129-150, 2008, Springer, 978-3-540-70811-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong |
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 54-69, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Roman Obermaisser, Bernhard Leiner |
Temporal and Spatial Partitioning of a Time-Triggered Operating System Based on Real-Time Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 429-435, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fault-tolerance, real-time systems, operating systems, partitioning |
11 | Sudha Krishnamurthy, Omer Anson, Lior Sapir, Chanan Glezer, Mauro Rois, Ilana Shub, Kilian Schloeder |
Automation of Facility Management Processes Using Machine-to-Machine Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOT ![In: The Internet of Things, First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings, pp. 68-86, 2008, Springer, 978-3-540-78730-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | David Johan Christensen, Jason Campbell |
Anatomy-based organization of modular robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 3141-3148, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sajan Abdul, Guangjun Liu |
Decentralised fault tolerance and fault detection of modular and reconfigurable robots with joint torque sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 3520-3526, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Joaquín Lopez Fernández, Rafael Sanz, Enrique Paz Domonte, Carlos Alonso |
Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1372-1377, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Faezeh Ensan, Weichang Du |
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 517-532, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Michael R. Mehan, Juan Nunez-Iglesias, Mrinal Kalakrishnan, Michael S. Waterman, Xianghong Jasmine Zhou |
An Integrative Network Approach to Map the Transcriptome to the Phenome. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings, pp. 232-245, 2008, Springer, 978-3-540-78838-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yan Meng, Kerry Johnson, Brian Simms, Matthew Conforth |
A generic architecture of modular embedded system for miniature mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 3725-3730, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Pavol Jancura, Jaap Heringa, Elena Marchiori |
Dividing Protein Interaction Networks by Growing Orthologous Articulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics, Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings, pp. 187-200, 2008, Springer, 978-3-540-88434-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Protein network dividing, modular network alignment |
11 | Axel Tidemann, Pinar Öztürk |
Learning Dance Movements by Imitation: A Multiple Model Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 380-388, 2008, Springer, 978-3-540-85844-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Neural Networks, Cognitive Modeling, Imitation Learning |
11 | J. Paul Gibson |
Weaving a Formal Methods Education with Problem-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 460-472, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum |
11 | Bilal Khan, Shaleeza Sohail |
Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 429-436, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Noriko Hanakawa |
A Source-Code Based Extraction Way for Micro Processes Influencing Software Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 239-246, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Chuan-Bi Lin, Roberto Rojas-Cessa |
Module-First Matching Schemes for Scalable Input-Queued Space-Space-Space Clos-Network Packet Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 5669-5673, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Chaomin Luo, Miguel F. Anjos, Anthony Vannelli |
Large-scale fixed-outline floorplanning design using convex optimization techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 198-203, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Allan Raundahl Gregersen, Bo Nørregaard Jørgensen |
Module Reload through Dynamic Update - The Case of NetBeans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, April 1-4, 2008, Athens, Greece, pp. 23-32, 2008, IEEE Computer Society, 978-1-4244-2157-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Meg Murray, Mário A. M. Guimarães |
Recent upgrades to an animated database courseware (ADbC). ![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. 515-516, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sándor P. Fekete, Tom Kamphans, Nils Schweer, Christopher Tessars, Jan van der Veen, Josef Angermeier, Dirk Koch, Jürgen Teich |
No-break dynamic defragmentation of reconfigurable devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 113-118, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Miguel Lino Silva, João Canas Ferreira |
Generation of partial FPGA configurations at run-time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 367-372, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Haiqing Yang, Yong He |
Experimental Design of Applying Intelligent Computation to NIR Spectral Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2592-2597, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ellen Francine Barbosa, Simone do Rócio Senger de Souza, José Carlos Maldonado |
An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: Proceedings 21st Conference on Software Engineering Education and Training, CSEET 2008, 14-17 April 2008, Charleston, South Carolina, USA, pp. 189-196, 2008, IEEE Computer Society, 978-0-7695-3144-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Paul J. White, Mark Yim |
Reliable External Actuation for Extending Reachable Robotic Modular Self-Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece, pp. 13-23, 2008, Springer, 978-3-642-00195-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Chang Hwan Peter Kim, Christian Kästner, Don S. Batory |
On the modularity of feature interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 23-34, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lifters, safe composition, feature interactions, derivatives, feature oriented software development |
11 | Pavol Jancura, Jaap Heringa, Elena Marchiori |
Divide, Align and Full-Search for Discovering Conserved Protein Complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoBIO ![In: Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings, pp. 71-82, 2008, Springer, 978-3-540-78756-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Biological networks alignment, optimization |
11 | Tamara Ulrich, Dimo Brockhoff, Eckart Zitzler |
Pattern identification in pareto-set approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 737-744, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
heuristics, decision making, multi-objective optimization, representations |
11 | Sérgio Manuel Serra da Cruz, Fernando Seabra Chirigati, Rafael Dahis, Maria Luiza Machado Campos, Marta Mattoso |
Using Explicit Control Processes in Distributed Workflows to Gather Provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data and Processes, Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers, pp. 186-199, 2008, Springer, 978-3-540-89964-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed computing, workflow, scientific workflow, provenance |
11 | Jing Chen, Jian-Hong Liu, Hui-Ming Su |
An Intensive Curriculum on Embedded Software Design for Vocational-Purpose Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 14th International Conference on Parallel and Distributed Systems, ICPADS 2008, Melbourne, Victoria, Australia, December 8-10, 2008, pp. 745-750, 2008, IEEE Computer Society, 978-0-7695-3434-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Mehdi Dastani, Christian P. Mol, Bas R. Steunebrink |
Modularity in Agent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, pp. 139-152, 2008, Springer, 978-3-540-89673-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Alberto A. Del Barrio, María C. Molina, Jose Manuel Mendias, Esther Andres Perez, Román Hermida, Francisco Tirado |
Applying speculation techniques to implement functional units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings, pp. 74-80, 2008, IEEE Computer Society, 978-1-4244-2657-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Vassilis Cutsuridis |
A Bio-inspired Architecture of an Active Visual Search Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 248-257, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dopamine, reinforcement learning, decision making, perception, attention, Visual search, action, saliency, ART, cognitive system |
11 | Michael R. T. Tan, Paul Rosenberg, Jong Souk Yeo, Moray McLaren, Sagi Mathai, Terry Morris, Joseph Straznicky, Norman P. Jouppi, Huei Pei Kuo, Shih-Yuan Wang, Scott Lerner, Pavel Kornilovich, Neal Meyer, Robert Bicknell, Charles Otis, Len Seals |
A High-Speed Optical Multi-Drop Bus for Computer Interconnections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hot Interconnects ![In: 16th Annual IEEE Symposium on High Performance Interconnects (HOTI 2008), 26-28 August 2008, Stanford, CA, USA, pp. 3-10, 2008, IEEE Computer Society, 978-0-7695-3380-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Computer interconnections, Multi-drop Bus, Optical Interconnects, Optical Bus |
11 | João de Sousa Saraiva, Alberto Rodrigues da Silva |
The WebComfort Framework: An Extensible Platform for the Development of Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy, pp. 19-26, 2008, IEEE Computer Society, 978-0-7695-3276-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Taghi M. Khoshgoftaar, Yi Liu 0023 |
A Multi-Objective Software Quality Classification Model Using Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 56(2), pp. 237-245, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Lesley Shannon, Paul Chow |
SIMPPL: An Adaptable SoC Framework Using a Programmable Controller IP Interface to Facilitate Design Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(4), pp. 377-390, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Charles E. Kahn, Amadeu Santos, Cheng Thao, Jayson J. Rock, Paul G. Nagy, Kevin C. Ehlers |
A Presentation System for Just-in-time Learning in Radiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 20(1), pp. 6-16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Just-in-time learning, continuing medical education (CME), radiology workflow, education, decision support, PACS, systems integration |
11 | Alexandros Potamianos, Eric Fosler-Lussier, Egbert Ammicht, Manolis Perakakis |
Information Seeking Spoken Dialogue Systems- Part II: Multimodal Dialogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 9(3), pp. 550-566, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Dariu M. Gavrila, Stefan Munder |
Multi-cue Pedestrian Detection and Tracking from a Moving Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 73(1), pp. 41-59, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multiple visual cues, intelligent vehicles, pedestrian detection |
11 | Guillaume Colin, Yann Chamaillard, Gérard Bloch, Gilles Corde |
Neural Control of Fast Nonlinear Systems- Application to a Turbocharged SI Engine With VCT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 18(4), pp. 1101-1114, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Jérica Urías, Denisse Hidalgo, Patricia Melin, Oscar Castillo 0001 |
A Method for Response Integration in Modular Neural Networks with Type-2 Fuzzy Logic for Biometric Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Design of Intelligent Systems using Soft Computing Techniques ![In: Analysis and Design of Intelligent Systems using Soft Computing Techniques, a selection of papers from IFSA 2007, pp. 5-15, 2007, Springer, 978-3-540-72431-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Guillaume Gallot, Ouarda Ibrahim, Wisama Khalil |
Dynamic Modeling and simulation of a 3-D Hybrid structure Eel-Like Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 1486-1491, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | David Johan Christensen, Jason Campbell |
Locomotion of Miniature Catom Chains: Scale Effects on Gait and Velocity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2254-2260, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Masafumi Yamashita |
Robots and Molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 3, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe |
Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 864-865, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concierge, deployment, eclipse, OSGi, R-OSGi |
|
|