|
|
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 |
58 | Matej Rojc, Harald Höge, Zdravko Kacic |
ECESS Platform for Web Based TTS Modules and Systems Evaluation. |
COST 2102 Workshop (Patras) |
2007 |
DBLP DOI BibTeX RDF |
ECESS consortium, text-to-speech synthesis, remote evaluation |
54 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration |
53 | Akif Günes Koru, Jeff Tian |
Comparing High-Change Modules and Modules with the Highest Measurement Values in Two Large-Scale Open-Source Products. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
maintenance planning, open-source software, maintainability, Product metrics |
50 | Derek Dreyer, Andreas Rossberg |
Mixin' up the ML module system. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules |
49 | Zelmina Lubovac, David Corne, Jonas Gamalielsson, Björn Olsson |
Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity. |
BIRD |
2007 |
DBLP DOI BibTeX RDF |
SWEMODE, interconnectivity, systems biology, Gene Ontology, functional modules |
45 | Taghi M. Khoshgoftaar, Vishal Thaker, Edward B. Allen |
Modeling Fault-Prone Modules of Subsystems. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
empirical study, software reliability, classification tree, CART, software quality models, fault-prone modules |
45 | Niclas Ohlsson, Hans Alberg |
Predicting Fault-Prone Software Modules in Telephone Switches. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Complexity, metrics, prediction, empirical study, software reliability, statistical analysis, software measurement, regression analysis, fault-prone modules |
45 | Yao-Wen Chang, D. F. Wong 0001, C. K. Wong |
Design and analysis of FPGA/FPIC switch modules. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
FPGA/FPIC switch modules, routing resources, FPIC, network-flow techniques, field programmable interconnect chip, field programmable gate arrays, FPGA, field programmable gate arrays, logic design, heuristic algorithm, programmable logic arrays, routability |
43 | Feng Luo 0001, Richard H. Scheuermann |
Detecting Functional Modules from Protein Interaction Networks. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Hany H. Ammar, AbdulMobeen Mohammad, Osama Abdalla, Kankanahalli Srinivas |
Process-Centered Environments for Web-Based Instructional Modules. |
WETICE |
1997 |
DBLP DOI BibTeX RDF |
Web-based instructional modules, computer-delivered educational modules, server interface, ClassNet, Internet, user interface, distance learning, Web technologies, distributed information systems, Web-based instruction, process-centered environment |
41 | Osamu Mizuno, Tohru Kikuno |
Training on errors experiment to detect fault-prone software modules by spam filter. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
text mining, spam filter, fault-prone modules |
41 | J. Kirkland |
Squad-based expert modules for closing diphthong recognition. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
squad based expert modules, closing diphthong recognition, modular time delay neural networks, modular TDNNs, false positive error performances, TDNN variants, sequence token TDNN, phoneme realizations, speech recognition, expert systems, natural languages, neural nets, recognition performance, automated speech recognition |
41 | H. Isil Bozma, James S. Duncan |
A Game-Theoretic Approach to Integration of Modules. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
modules integration, intelligent sensor system, multiobjective decision making, image processing, artificial intelligence, game theory, game theory, image analysis, sensor fusion, image sensors, noncooperative game, modular systems |
41 | Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani |
Semi-Automatic Program Construction From Specifications Using Library Modules. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation |
40 | Eran Segal, Roded Sharan |
A discriminative model for identifying spatial cis-regulatory modules. |
RECOMB |
2004 |
DBLP DOI BibTeX RDF |
cis-regulatory module, probabilistic model, transcriptional regulation |
40 | Ronald Brown, Ilhan Içen |
Homotopies and Automorphisms of Crossed Modules of Groupoids. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
crossed modules, groupoids, 2-crossed modules, actors, automorphisms |
40 | Kai-Yuan Chao, D. F. Wong 0001 |
Thermal placement for high-performance multichip modules. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
thermal placement, high-performance multichip modules, electrical performance requirements, thermal behavior, high-speed chips, multichip module packages, cooling environments, conduction cooling, convection cooling, chip junction temperatures, circuit analysis computing, multichip modules, thermal models, cooling, convection |
40 | Hameed A. Naseem, Ajay P. Malshe, Rajan A. Beera, M. Shahid Haque, William D. Brown, Len W. Schaper |
CVD-diamond substrates for multi-chip modules (MCMs). |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
diamond, laser beam machining, metallisation, CVD coatings, elemental semiconductors, chemical vapour deposition, CVD-diamond substrates, 3D MCM, chemical vapor deposition, diamond thin films, laser drilling, via holes, metallization, dielectric coatings, multilayer interconnects, C, planarization, multichip modules, multichip modules, fabrication, polishing, polishing, substrates |
38 | Keiko Nakata 0001, Jacques Garrigue |
Recursive modules for programming. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
applicative functors, the expression problem, type systems, type inference, recursive modules |
38 | Taghi M. Khoshgoftaar, Edward B. Allen |
Ordering Fault-Prone Software Modules. |
Softw. Qual. J. |
2003 |
DBLP DOI BibTeX RDF |
module-order model, software reliability, software quality models, fault-prone modules, multiple linear regression |
37 | Olivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy |
Optimizing user views for workflows. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Richard W. Selby |
Enabling Reuse-Based Software Development of Large-Scale Systems. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
empirical study, software metrics, Software reuse, experimentation, software measurement, large-scale systems, mining software repositories, software faults, software changes |
37 | Akito Monden, Daikai Nakae, Toshihiro Kamiya, Shin-ichi Sato, Ken-ichi Matsumoto |
Software Quality Analysis by Code Clones in Industrial Legacy Software. |
IEEE METRICS |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Qinghong Wu, C. Y. Roger Chen, Bradley S. Carlson |
LILA: layout generation for iterative logic arrays. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom |
Modeling software quality: the Software Measurement Analysis and Reliability Toolkit. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
Software Measurement Analysis and Reliability Toolkit, reliability enhancement activities, high risk modules, automated reasoning processes, CBR systems, CBR classification, module-order models, rank-order, military command control and communications, software developers, software tools, software quality, software metrics, software reliability, cluster analysis, case-based reasoning, case based reasoning, software performance evaluation, software product, life cycle, software quality modeling, software quality models, fault predictions, process metrics, SMART, fault prone modules, quality factor, classification models, command and control systems, research tool |
37 | Taghi M. Khoshgoftaar, Edward B. Allen, Lofton A. Bullard, Robert Halstead 0001, Gary P. Trio |
A tree-based classification model for analysis of a military software system. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
tree based classification model, military software systems analysis, tactical military software, software function, military personnel, tree based modeling method, fault prone software modules, Joint Surveillance Target Attack Radar System, JSTPARS, large tactical military system, decision tree model, software product metrics, spiral life cycle, highly reliable final product, fault prone class, TREED-ISC algorithm, CHAID algorithm, independent variables, statistically significant relationships, military computing, fault prone modules, chi squared tests, mission critical |
37 | Sandeep Pagey, Ajay Khoche, Erik Brunvand |
DFT for fast testing of self-timed control circuits. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
fast testing, self-timed control circuits, execution paths, simultaneous testing, OCCAM based circuit compiler, OCCAM program, self-timed macro-modules, modified modules, macromodules, fault diagnosis, logic testing, delays, design for testability, DFT, logic CAD, asynchronous circuits, translation, program compilers, automatic test software |
36 | Jeongmin Park, Joonhoon Lee, Eunseok Lee 0001 |
Goal graph based performance improvement for self-adaptive modules. |
ICUIMC |
2008 |
DBLP DOI BibTeX RDF |
activation switch, goal graph, self-adaptive module |
36 | Mohammed Y. Niamat, Dinesh Nemade, Mohsin M. Jamali |
Testing embedded RAM modules in SRAM-based FPGAs. |
FPGA |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Yao-Wen Chang, D. F. Wong 0001, C. K. Wong |
Universal switch modules for FPGA design. |
ACM Trans. Design Autom. Electr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Shashidhar Thakur, D. F. Wong 0001 |
On Designing ULM-based FPGA Logic Modules. |
FPGA |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Ting Gong, Jianhua Xuan, Li Chen 0018, Rebecca B. Riggins, Yue Joseph Wang, Eric P. Hoffman, Robert Clarke |
Sparse Decomposition of Gene Expression Data to Infer Transcriptional Modules Guided by Motif Information. |
ISBRA |
2008 |
DBLP DOI BibTeX RDF |
Motif analysis, transcriptional modules, estrogen receptor binding, gene regulatory networks, sparse component analysis |
34 | Hans-Martin Pohl, Patrycja Tulinska, Jan-Torsten Milde |
Efficient Creation of Multi Media eLearning Modules. |
HCI (9) |
2007 |
DBLP DOI BibTeX RDF |
SCORM 2004, creation of content, transformation, modules, XSLT, eLearning, user friendly, LOM, style sheet, lesson |
34 | Derek Dreyer |
A type system for recursive modules. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
type systems, recursion, abstract data types, modules |
34 | Yanqiong Fei, Xifang Zhao |
Modules Classification and Automatic Generation of Kinematics on Self-reconfigurable Modular Machines. |
J. Intell. Robotic Syst. |
2005 |
DBLP DOI BibTeX RDF |
modules, kinematics, self-reconfigurable |
34 | Taghi M. Khoshgoftaar, Edward B. Allen |
Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
embedded systems, software metrics, software reliability, classification trees, CART, fault-prone modules, high assurance |
34 | David R. Smith |
Hardware Synthesis From Encapsulated Verilog Modules. |
ASAP |
1996 |
DBLP DOI BibTeX RDF |
encapsulated Verilog modules, Verilog writing style, code complexity, automatic inference of control, low level simulation, computational complexity, logic design, inference mechanisms, hardware description languages, hardware synthesis, control points, clock cycle |
33 | Sheng-Yih Guan, Avi Bleiweiss, Richard Lipes |
Parallel implementation of volume rendering on Denali graphics systems. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
computer graphic equipment, computer peripheral equipment, Denali graphics systems, 3D graphics systems, texture mapping capability, standard graphics pipeline, pipelined parallel architecture, Kubota Graphics Corporation, maximum intensity projection, iso-surface rendering, partitioning data allocation scheme, texture memory requirements, transformation and rasterization modules, frame buffer modules, parallel node, general purpose RISC processor, object parallelism, hardware ASICs, pixel memory, pixel parallelism, resource allocation, parallel architectures, volume rendering, pipeline processing, dynamic load balancing, image texture, parallel implementation, rendering (computer graphics), reduced instruction set computing, static load balancing |
32 | Min Li 0007, Jianxin Wang 0001, Jianer Chen |
A Graph-Theoretic Method for Mining Overlapping Functional Modules in Protein Interaction Networks. |
ISBRA |
2008 |
DBLP DOI BibTeX RDF |
graph, protein interaction network, functional module |
32 | Tze Ying Sim, Fang Li 0007, Birgit Vogel-Heuser |
Modules, version and variability management in automation engineering of machine and plant manufacturing. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Object-Oriented Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Byung-Hoon Park, Bing Zhang 0003, Tatiana V. Karpinets, Nagiza F. Samatova |
Multi-stage Framework to Infer Protein Functional Modules from Mass Spectrometry Pull-Down Data with Assessment of Biological Relevance. |
BIBM |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Yuuji Ichisugi, Akira Tanaka |
Difference-Based Modules: A Class-Independent Module Mechanism. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang |
On extending slicing floorplan to handle L/T-shaped modules andabutment constraints. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
32 | John D. Gabbe, P. A. Subrahmanyam |
A Note on Clustering Modules for Floorplanning. |
DAC |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache |
Adapting modules to an integrated programming environment. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Taghi M. Khoshgoftaar, Edward B. Allen, Xiaojing Yuan, Wendell D. Jones, John P. Hudepohl |
Assessing Uncertain Predictions of Software Quality. |
IEEE METRICS |
1999 |
DBLP DOI BibTeX RDF |
TREEDISC, software quality, software metrics, classification trees, fault-prone modules |
31 | Daniel Bulacu, Blas Torrecillas |
Two-sided Two-cosided Hopf Modules and Yetter-Drinfeld Modules for Quasi-Hopf Algebras. |
Appl. Categorical Struct. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 16W30 |
30 | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
Scheduling Timed Modules for Correct Resource Sharing. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
timed modules, real-time systems, resource management, component-based design |
30 | Qiu-Mei Sun, Zi-Long Zhang, Jing Liu |
Soft Sets and Soft Modules. |
RSKT |
2008 |
DBLP DOI BibTeX RDF |
soft sets, soft modules, soft submodules, soft homomorphism |
30 | Jan S. Rellermeyer, Michael Duller, Gustavo Alonso |
Consistently Applying Updates to Compositions of Distributed OSGi Modules. |
HotSWUp |
2008 |
DBLP DOI BibTeX RDF |
modules, updates, OSGi, R-OSGi |
30 | Henning Makholm, J. B. Wells |
Type inference, principal typings, and let-polymorphism for first-class mixin modules. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
mixin modules, record concatenation, row unification, type systems, polymorphism |
30 | Tyng-Ruey Chuang |
Generic Validation of Structural Content with Parametric Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
modules and interfaces, XML, XML, validation, functional programming, ML, ML, fixed points |
30 | Martin Verlage |
Towards software process modules. |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
software process modules, software process model reuse, software process engineering, software reusability, roles, views, software project |
30 | Santonu Sarkar, Anupam Basu, Arun K. Majumdar |
Synchronization of communicating modules and processes in high level synthesis. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
communicating modules, object oriented design framework, nonblocking channel, real life image processing, synchronization, high level synthesis, high level synthesis, application specific integrated circuits, synchronisation, object-oriented methods, component reuse, ASIC designs, image processing equipment |
30 | Zohel Khalil, Guennadi Falin, Tao Yang |
Some analytical results for congestion in subscriber line modules. |
Queueing Syst. Theory Appl. |
1992 |
DBLP DOI BibTeX RDF |
Subscriber Line Modules, iterative algorithms, retrial queues, diffusion approximations, Asymptotic behaviours |
30 | Robert Law |
Using student blogs for documentation in software development projects. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
30 | E. L. Meyer, E. E. van Dyk |
Assessing the reliability and degradation of photovoltaic module performance parameters. |
IEEE Trans. Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Claudio V. Russo |
Recursive Structures for Standard ML. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Standard ML |
30 | Tadayuki Sakakibara, Katsuyoshi Kitai, Tadaaki Isobe, Shigeko Yazawa, Teruo Tanaka, Yasuhiro Inagami, Yoshiko Tamaki |
Scalable Parallel Memory Architecture with a Skew Scheme. |
International Conference on Supercomputing |
1993 |
DBLP DOI BibTeX RDF |
ILLIAC IV |
30 | Andrej Zemva, Franc Brglez |
Detectable perturbations: a paradigm for technology-specific multi-fault test generation. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
detectable perturbations, technology-specific multi-fault test generation, multiple bridging, open faults, single-output modules, multi-output modules, mutation faults, technology-mapped cells, fault diagnosis, logic testing, integrated circuit testing, combinational circuits, combinational circuits, automatic testing, stuck-at faults, cellular arrays, benchmark circuits, generic system |
30 | S. Y. Kulkarni, K. D. Patil, K. V. V. Murthy |
Transmission line model parameters for very high speed VLSI interconnects in MCMs using FEM with special elements. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
very high speed integrated circuits, transmission line theory, integrated circuit packaging, transmission line model parameters, very high speed VLSI interconnects, higher order isoparametric elements, 2D interconnect/dielectric packaging structures, quadrilateral infinite elements, signal conductor boundaries, sharp corners, finite element method, finite element analysis, computation time, multichip modules, multichip modules, FEM, MCM, integrated circuit interconnections, VLSI interconnects |
29 | M. Beattie, S. Dascalescu, S. Raianu, Freddy Van Oystaeyen |
The Categories of Yetter - Drinfel'd Modules, Doi - Hopf Modules and Two-sided Two-cosided Hopf Modules. |
Appl. Categorical Struct. |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Ariadna Yerpes, José Baca, Juan A. Escalera, Manuel Ferre, Rafael Aracil |
Modular robot based on 3 rotational DoF modules. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ellen Francine Barbosa, José Carlos Maldonado |
Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Naeem Seliya, Taghi M. Khoshgoftaar |
Software Quality Analysis of Unlabeled Program Modules With Semisupervised Clustering. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Predefined Data Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Chris C. N. Chu, Evangeline F. Y. Young |
Nonrectangular shaping and sizing of soft modules for floorplan-design improvement. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Yao-Wen Chang, Kai Zhu 0001, Guang-Ming Wu, D. F. Wong 0001, C. K. Wong |
Analysis of FPGA/FPIC switch modules. |
ACM Trans. Design Autom. Electr. Syst. |
2003 |
DBLP DOI BibTeX RDF |
FPIC, FPGA, synthesis, layout, Computer-aided design of VLSI |
29 | Hsun-Cheng Lee, Yao-Wen Chang, Jer-Ming Hsu, Hannah Honghua Yang |
Multilevel floorplanning/placement for large-scale modules using B*-trees. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
multilevel framework, floorplanning, lagrangian relaxation |
29 | Evangeline F. Y. Young, Chris C. N. Chu, W. S. Luk, Y. C. Wong |
Handling soft modules in general nonslicing floorplan usingLagrangian relaxation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Michel Renovell, Jean-Michel Portal, Joan Figueras, Yervant Zorian |
SRAM-based FPGA's: testing the LUT/RAM modules. |
ITC |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Dimitrios Kagaris, Spyros Tragoudas |
A fast algorithm for minimizing FPGA combinational and sequential modules. |
ACM Trans. Design Autom. Electr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
field programmable gate arrays, retiming |
29 | Taghi M. Khoshgoftaar, Edward B. Allen, Robert Halstead 0001, Gary P. Trio |
Detection of Fault-Prone Software Modules During a Spiral Life Cycle. |
ICSM |
1996 |
DBLP DOI BibTeX RDF |
spiral life cycle model, fault-prone software, classification, principal components analysis, software maintenance, software metrics, discriminant analysis |
29 | Robert Harper 0001, Mark Lillibridge |
A Type-Theoretic Approach to Higher-Order Modules with Sharing. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson |
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs |
On the Relationship Between Algebraic Module Specifications and Program Modules. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller |
Modular type classes. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
type systems, type inference, modules, type classes |
28 | Norman F. Schneidewind |
Allocation and analysis of reliability: multiple levels: system, subsystem, and module. |
Innov. Syst. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Software reliability allocation and prediction, Hierarchical software system comprised of modules, Subsystems and System |
28 | Taghi M. Khoshgoftaar, Edward B. Allen, Jianyu Deng |
Controlling Overfitting in Software Quality Models: Experiments with Regression Trees and Classification. |
IEEE METRICS |
2001 |
DBLP DOI BibTeX RDF |
classification, software maintenance, software metrics, software reliability, overfitting, regression trees, fault-prone modules, S-Plus |
28 | Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs |
Algebraic Software Development Concepts for Module and Configuration Families. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
module families, configuration families, formal specification development, software engineering, modules, algebraic specifications |
27 | Benoît Montagu, Didier Rémy |
Modeling abstract types in modules with open existential types. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types |
27 | Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio |
OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules. |
EuroPKI |
2007 |
DBLP DOI BibTeX RDF |
Hardware Security Modules, Key management protocol |
27 | Philip W. L. Fong |
Pluggable verification modules: an extensible protection mechanism for the JVM. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security |
27 | Tim Sheard |
Generic Unification via Two-Level Types and Parameterized Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
parameterized modules, Haskell, generic programs, unification |
27 | Kazumi Hatayama, Kazunori Hikone, Takeshi Miyazaki, Hiromichi Yamada |
A practical approach to instruction-based test generation for functional modules of VLSI processors. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
VLSI processors, instruction-based test generation, functional test pattern generation, gate level faults, constrained test generation, ALU oriented test pattern generation system, VLSI, functional modules, ALPS |
27 | Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas |
Detecting program modules with low testability. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
aircraft computers, program module detection, low testability, static software product measures, dynamic quality measure, real time avionics software system, component program modules, classification performance, discriminant modeling methodology, real-time systems, software quality, software metrics, program testing, testability, testability analysis, principal components |
27 | Simon S. Lam, A. Udaya Shankar |
A Theory of Interfaces and Modules I-Composition Theorem. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
interface theory, composition theorem, interface satisfaction, service consumer, module design, module verification, user interfaces, formal specification, specification, system design, systems analysis, directed graphs, directed acyclic graph, modules, system modelling, system model, nodes, service provider, arcs |
26 | Noriko Hanakawa |
Visualization for Software Evolution Based on Logical Coupling and Module Coupling. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Gorra, Sanela Lazarevski, Jackie Campbell |
An account of the use of synoptic assessment for students in the area of databases at level 2. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
integrated assessment, synoptic assessment |
26 | Young-Jun Kim 0002, Taewhan Kim |
A HW/SW Partitioner for Multi-Mode Multi-Task Embedded Applications. |
J. VLSI Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
resource allocation/mapping, multi-mode/multi-task applications, HW/SW partitioning |
26 | John H. Reif, Sam Slee |
Asymptotically Optimal Kinodynamic Motion Planning for Self-reconfigurable Robots. |
WAFR |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Young-Jun Kim 0002, Taewhan Kim |
HW/SW partitioning techniques for multi-mode multi-task embedded applications. |
ACM Great Lakes Symposium on VLSI |
2006 |
DBLP DOI BibTeX RDF |
scheduling, allocation, co-design, binding |
26 | Lukasz Masko |
Task Scheduling for Dynamic SMP Clusters with Communication on the Fly for Bounded Number of Resources. |
ISPDC |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Liguo Yu, Stephen R. Schach, Kai Chen 0010, A. Jefferson Offutt |
Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
definition-use analysis, kernel-based software, dependencies, Modularity, Linux, open-source software, common coupling |
26 | Thomas Rauber, Gudula Rünger |
Selecting Data Distributions for Unbounded Loops. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
unbounded loops, cost model, data distribution, data redistribution |
26 | Rowel O. Atienza, Marcelo H. Ang |
A Flexible Control Architecture for Mobile Robots: An Application for a Walking Robot. |
J. Intell. Robotic Syst. |
2001 |
DBLP DOI BibTeX RDF |
flexible control architecture, mobile robots, behavior-based control, walking robots, reactive control, knowledge-based control |
26 | Atanas Rountev, Barbara G. Ryder |
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Claudio V. Russo |
First-Class Structures for Standard ML. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Hiroshi Murata, Kunihiro Fujiyoshi, Mineo Kaneko |
VLSI/PCB placement with obstacles based on sequence pair. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 11069 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|