|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 509 occurrences of 426 keywords
|
|
|
Results
Found 749 publication records. Showing 749 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | David L. Landis, Praveen Guddeti, Paul T. Hulina, Lee D. Coraor |
Language-Based Rapid Prototyping Methods for Legacy System Re-Engineering and Re-Use. |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
Reverse Engineering, VHDL, Rapid Prototyping, Legacy Systems, Re-Engineering |
10 | Sufatrio, Kwok-Yan Lam |
Internet Mobility Support Optimized for Client Access and its Scalable Authentication Framework. |
MDA |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Patrick Dunne, W. A. Gray |
The Impact of Using Class Inheritance in a Distributed Information System. |
ADBIS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Collet, Roger Rousseau |
Towards Efficient Support for Executing the Object Constraint Language. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
Assertions Triggering and Evaluation, UML, Reliability, Implementation, Efficiency, Object Constraint Language |
10 | Dale Parson |
Using Java reflection to automate extension language parsing. |
DSL |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Murlikrishna Viswanathan, Chris S. Wallace, David L. Dowe, Kevin B. Korb |
Finding Cutpoints in Noisy Binary Sequences - A Revised Empirical Evaluation. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Chialin Chang, Anurag Acharya 0001, Alan Sussman, Joel H. Saltz |
T2: A Customizable Parallel Database for Multi-Dimensional Data. |
SIGMOD Rec. |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Marco Bernardo 0001, Roberto Gorrieri, Marco Roccetti |
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
Formal support to system design, Packetised audio, Simulation, Performance evaluation, Process algebras |
10 | Henning Christiansen 0001, Troels Andreasen |
A Practical Approach to Hypothetical Database Queries. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Antonio J. Nebro, Ernesto Pimentel 0001, José M. Troya |
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. |
ISCOPE |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Jeremy Gibbons, Geraint Jones |
The Under-Appreciated Unfold. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation |
10 | Uwe Waldmann |
Superposition for Divisible Torsion-Free Abelian Groups. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Fabio Massacci |
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Goichiro Hanaoka, Yuliang Zheng 0001, Hideki Imai |
LITESET: A Light-Weight Secure Electronic Transaction Protocol. |
ACISP |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Murugan Anandarajan, Claire A. Simmers, Magid Igbaria |
An Exploratory Investigation of the Antecedents and Impact of Internet Usage: An Individual Perspective. |
HICSS (4) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Reinaldo A. Bergamaschi, Salil Raje, Indira Nair, Louise Trevillyan |
Control-flow versus data-flow-based scheduling: combining both approaches in an adaptive scheduling system. |
IEEE Trans. Very Large Scale Integr. Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Chris J. M. Booth, Donald I. Bruce |
Stack-Free Process-Oriented Simulation. |
Workshop on Parallel and Distributed Simulation |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Shigeru Kusakabe, Taku Nagai, Kentaro Inenaga, Makoto Amamiya |
Reducing Overhead in Implementing Fine-grain Parallel Data-structures of a Data onOff-the-shelf Distributed-memory Parallel Computers. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Junping Sun, Hee C. Lee |
Optimal mobile location tracking by multilayered model strategy. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
optimal mobile location tracking, multilayered model strategy, mobile activity modeling, optimal paging, forward control channel, mobile telecommunication systems, probabilistic cost function, genetic algorithm, mobility management, mobile communication |
10 | Susumu Tsuhara |
RDB structure chart display using fuzzy rules. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
RDB structure chart display, information network users, table structures, high quality structure chart, fuzzy logic, relational databases, relational database, graphical user interfaces, graphical user interface, inference mechanisms, fuzzy rules, fuzzy inference, end user computing |
10 | Charles Changli Chin, Shang-Rong Tsai |
Transparency in a Replicated Network File System. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
replicated network file system, centralized data sharing, storage stations, modern network environments, high-performance services, Sun NFS protocol, replication transparency, failure transparency, fault-tolerant service, simple primary-backup model, mostly-read environment, high-performance file service, data integrity, transparency, data replication, data consistency, file server |
10 | Alexandre Boudet, Evelyne Contejean, Claude Marché |
AC-Complete Unification and its Application to Theorem Proving. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Sati Banerjee, Paul M. Chau, Ronald D. Fellman |
Rapid prototyping methodology for multiprocessor implementation of digital signal processing systems. |
J. VLSI Signal Process. |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Haifang Liao, Wayne Wei-Ming Dai |
Partitioning and reduction of RC interconnect networks based on scattering parameter macromodels. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
circuit reduction, scattering parameter, interconnect network, macromodel, Circuit partitioning, circuit synthesis |
10 | Cosimo Anglano, Luigi Portinale |
B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Li-Ling Chen, Williams Ludwell Harrison III |
An efficient approach to computing fixpoints for complex program analysis. |
International Conference on Supercomputing |
1994 |
DBLP DOI BibTeX RDF |
fixpoint computation, program analysis, abstract interpretation, optimizing compilers |
10 | Luc Vincent |
Morphological grayscale reconstruction in image analysis: applications and efficient algorithms. |
IEEE Trans. Image Process. |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Ulrich Finke, Klaus H. Hinrichs |
A Spatial Data Model and a Topological Sweep Algorithm for Map Overlay. |
SSD |
1993 |
DBLP DOI BibTeX RDF |
cartographic modeling, map overlay, topological plane sweep, parallel processing, Geographic information systems, computational geometry |
10 | Jichang Tan, I-Peng Lin |
Compiling Dataflow Analysis of Logic Programs. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
10 | Brian D. Lee, Vojin G. Oklobdzija |
Improved CLA scheme with optimized delay. |
J. VLSI Signal Process. |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Maurizio Proietti, Alberto Pettorossi |
Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. (long version: TCS 142(1): 89-124 (1995)) |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Richard Illman, Stephen Clarke |
Built-In Self-Test of the Macrolan Chip. |
IEEE Des. Test Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Dietrich Fischer |
Paradoxes in Parallel Processing (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
10 | David C. Cann, John Feo, Thomas DeBoni |
SISAL 1.2: high-performance applicative computing. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
10 | David C. Cann, John Feo |
SISAL versus FORTRAN: a comparison using the Livermore loops. |
SC |
1990 |
DBLP DOI BibTeX RDF |
FORTRAN, SISAL |
10 | Thomas Jenkins, Alain Gaillard, Heather Holmback, Aki Namioka, John Darvish, Philip Harrison, Michael Lorbeski |
Automated Message Understanding - A Real-World Prototype. |
IEA/AIE (Vol. 1) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Reiner Hähnle |
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Jarek Rossignac, Herbert B. Voelcker |
Active zones in CSG for accelerating boundary evaluation, redundancy elimination, interference detection, and shading algorithms. |
ACM Trans. Graph. |
1989 |
DBLP DOI BibTeX RDF |
|
10 | M. R. Brown, S. DasGupta |
Design of a general purpose meta-assembler for parallel processor environment in ISPS. |
Annual Simulation Symposium |
1989 |
DBLP DOI BibTeX RDF |
ISPS |
10 | Ali R. Hurson, Les L. Miller |
Modification operations in data base machines: where are they? |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Yukihide Takayama |
QPC: QJ-based Proof Compiler - Simple Examples and Analysis. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Michel Parigot |
Programming with Proofs: A Second Order Type Theory. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Kei Hiraki, Satoshi Sekiguchi, Toshio Shimada |
Efficient vector processing on dataflow supercomputer SIGMA-1. |
SC |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Zhiyuan Li 0001, Pen-Chung Yew |
Efficient Interprocedural Analysis for Program Parallelization and Restructuring. |
PPOPP/PPEALS |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Richard C. Waters |
Efficient interpretation of synchronizable series expressions. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Stanley Y. W. Su, Hsu Chang, George P. Copeland, Paul Fisher, Eugene I. Lowenthal, Stewart A. Schuster |
Database machines and some issues on DBMS standards. |
AFIPS National Computer Conference |
1980 |
DBLP DOI BibTeX RDF |
|
10 | Thomas M. McWilliams, Samuel H. Fuller, W. H. Sherwood |
Using LSI processor bit-slices to build a PDP-11: a case study in microcomputer design. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
10 | Ken Magel, Andries van Dam, Martin Michel |
Toward the development of machine: independent systems programming languages. |
AFIPS National Computer Conference |
1974 |
DBLP DOI BibTeX RDF |
|
10 | Edward G. Coffman Jr. |
Analysis of Two Time-Sharing Algorithms Designed for Limited Swapping. |
J. ACM |
1968 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #749 of 749 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|