|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST 2102 Workshop (Patras) ![In: Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers, pp. 149-157, 2007, Springer, 978-3-540-70871-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ECESS consortium, text-to-speech synthesis, remote evaluation |
54 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010, pp. 89-102, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(8), pp. 625-642, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
maintenance planning, open-source software, maintainability, Product metrics |
50 | Derek Dreyer, Andreas Rossberg |
Mixin' up the ML module system. ![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. 307-320, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIRD ![In: Bioinformatics Research and Development, First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings, pp. 185-198, 2007, Springer, 978-3-540-71232-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA, pp. 259-269, 2000, IEEE Computer Society, 0-7695-0807-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(12), pp. 886-894, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![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. 394-401, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (1) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 1, pp. 123-130, 2006, IEEE Computer Society, 0-7695-2581-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Hany H. Ammar, AbdulMobeen Mohammad, Osama Abdalla, Kankanahalli Srinivas |
Process-Centered Environments for Web-Based Instructional Modules. ![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. 327-332, 1997, IEEE Computer Society, 0-8186-7967-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 405-414, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
text mining, spam filter, fault-prone modules |
41 | J. Kirkland |
Squad-based expert modules for closing diphthong recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 302-305, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(11), pp. 1074-1086, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 853-871, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 141-149, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(2), pp. 185-206, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![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. 218-223, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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). ![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. 194-, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 74-86, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 11(1), pp. 19-37, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings, pp. 310-323, 2009, ACM, 978-1-60558-423-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Richard W. Selby |
Enabling Reuse-Based Software Development of Large-Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(6), pp. 495-510, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 8th IEEE International Software Metrics Symposium (METRICS 2002), 4-7 June 2002, Ottawa, Canada, pp. 87-, 2002, IEEE Computer Society, 0-7695-1339-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Qinghong Wu, C. Y. Roger Chen, Bradley S. Carlson |
LILA: layout generation for iterative logic arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(11), pp. 1359-1369, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 54-61, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 244-251, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 382-386, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2008, Suwon, Korea, January 31 - February 01, 2008, pp. 58-62, 2008, ACM, 978-1-59593-993-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 14th International Symposium on Field Programmable Gate Arrays, FPGA 2006, Monterey, California, USA, February 22-24, 2006, pp. 228, 2006, ACM, 1-59593-292-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Yao-Wen Chang, D. F. Wong 0001, C. K. Wong |
Universal switch modules for FPGA design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 1(1), pp. 80-101, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Shashidhar Thakur, D. F. Wong 0001 |
On Designing ULM-based FPGA Logic Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the Third International ACM Symposium on Field-Programmable Gate Arrays,FPGA 1995, Monterey, California, USA, February 12-14, 1995, pp. 3-9, 1995, ACM, 0-89791-743-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings, pp. 244-255, 2008, Springer, 978-3-540-79449-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 457-465, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 289-302, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 43(2-4), pp. 147-159, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 105-114, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1996 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '96), August 19-23, 1996, Chicago, IL , USA, pp. 284-, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 700-706, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings, pp. 208-219, 2008, Springer, 978-3-540-79449-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 46-49, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 599-642, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007, Silicon Valley, CA, USA, November 2-4, 2007, pp. 223-229, 2007, IEEE Computer Society, 0-7695-3031-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Yuuji Ichisugi, Akira Tanaka |
Difference-Based Modules: A Class-Independent Module Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 62-88, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(6), pp. 800-807, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | John D. Gabbe, P. A. Subrahmanyam |
A Note on Clustering Modules for Floorplanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, USA, June 25-29, 1989., pp. 594-597, 1989, ACM Press. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache |
Adapting modules to an integrated programming environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 364-371, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 6th IEEE International Software Metrics Symposium (METRICS 1999), 4-6 November 1999, Boca Raton, FL, USA, pp. 159-, 1999, IEEE Computer Society, 0-7695-0403-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(5-6), pp. 503-530, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 102-111, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 403-409, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSWUp ![In: Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, HotSWUp 2008, Nashville, TN, USA, October 20, 2008., 2008, ACM, 978-1-60558-304-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 156-167, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 98-109, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
modules and interfaces, XML, XML, validation, functional programming, ML, ML, fixed points |
30 | Martin Verlage |
Towards software process modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: 10th International Software Process Workshop, ISPW 1996, June 17-19, 1996, Dijon, France, pp. 112-114, 1996, IEEE Computer Society, 0-8186-7725-2. The full citation details ...](Pics/full.jpeg) |
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. ![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. 87-92, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 10(4), pp. 381-402, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | E. L. Meyer, E. E. van Dyk |
Assessing the reliability and degradation of photovoltaic module performance parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(1), pp. 83-92, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Claudio V. Russo |
Recursive Structures for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 50-61, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 7th international conference on Supercomputing, ICS 1993, Tokyo, Japan, July 20-22, 1993, pp. 157-166, 1993, ACM, 0-89791-600-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
ILLIAC IV |
30 | Andrej Zemva, Franc Brglez |
Detectable perturbations: a paradigm for technology-specific multi-fault test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 350-357, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
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. ![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. 260-263, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 6(2), pp. 223-237, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![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. 889-894, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ellen Francine Barbosa, José Carlos Maldonado |
Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. ![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. 503-518, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Naeem Seliya, Taghi M. Khoshgoftaar |
Software Quality Analysis of Unlabeled Program Modules With Semisupervised Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(2), pp. 201-211, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 231-305, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(1), pp. 71-79, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 8(1), pp. 11-37, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 812-817, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(5), pp. 687-692, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Michel Renovell, Jean-Michel Portal, Joan Figueras, Yervant Zorian |
SRAM-based FPGA's: testing the LUT/RAM modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 1102-1111, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Dimitrios Kagaris, Spyros Tragoudas |
A fast algorithm for minimizing FPGA combinational and sequential modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 1(3), pp. 341-351, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 69-76, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 123-137, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 359-393, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 83-98, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller |
Modular type classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 63-70, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 2(3-4), pp. 121-136, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 7th IEEE International Software Metrics Symposium (METRICS 2001), 4-6 April 2001, London, England, UK, pp. 190-198, 2001, IEEE Computer Society, 0-7695-1043-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings, pp. 181-192, 1989, Springer, 3-540-52048-1. The full citation details ...](Pics/full.jpeg) |
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. ![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. 354-365, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPKI ![In: Public Key Infrastructure, 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings, pp. 220-235, 2007, Springer, 978-3-540-73407-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 404-418, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 86-97, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 17-23, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 242-250, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(1), pp. 55-71, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 214-221, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 334, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 44(3), pp. 269-283, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAFR ![In: Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA, pp. 457-472, 2006, Springer, 978-3-540-68404-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Young-Jun Kim 0002, Taewhan Kim |
HW/SW partitioning techniques for multi-mode multi-task embedded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006, pp. 25-30, 2006, ACM, 1-59593-347-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 4-6 July 2005, Lille, France, pp. 13-20, 2005, IEEE Computer Society, 0-7695-2434-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(10), pp. 694-706, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 30(1), pp. 29-48, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 20-36, 2001, Springer, 3-540-41861-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Claudio V. Russo |
First-Class Structures for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 336-350, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Hiroshi Murata, Kunihiro Fujiyoshi, Mineo Kaneko |
VLSI/PCB placement with obstacles based on sequence pair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(1), pp. 60-68, 1998. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|