|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8958 occurrences of 4474 keywords
|
|
|
Results
Found 19385 publication records. Showing 19382 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
64 | Xiaodong Gu |
Feature Extraction using Unit-linking Pulse Coupled Neural Network and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 27(1), pp. 25-41, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PCNN, Unit-linking PCNN, Unit-linking PCNN image icon, Applications of Unit-linking PCNN image icon, Feature extraction |
54 | Nikolai Tillmann, Wolfram Schulte |
Parameterized unit tests with unit meister. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 241-244, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types |
50 | Jason J. Kutch, Nina L. Suresh, Anthony M. Bloch, William Zev Rymer |
Analysis of the effects of firing rate and synchronization on spike-triggered averaging of multidirectional motor unit torque. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 22(3), pp. 347-361, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Spike-triggered averaging, Motor unit, Pulling direction, Firing rate, Synchronization |
47 | Yuan Xu |
Polynomial Interpolation on the Unit Sphere and on the Unit Ball. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 20(1-3), pp. 247-260, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
interpolation by polynomials, unit sphere, unit ball |
47 | Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall |
Generation of All-Paths Unit Test with Function Calls. ![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. 32-41, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
all-paths unit test, unit test with function calls, unit test, constraint solving, structural testing, automatic generation, testing C programs |
47 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001 |
Parameterized unit testing: theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 483-484, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects |
46 | Nikolai Tillmann, Wolfram Schulte |
Parameterized unit tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 253-262, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types |
44 | Evan Unit Lim |
Quasi Manhattan Wasserstein Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.12498, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
44 | Unit Amin, Krishna Dev Kumar |
Remaining Useful Life Prediction of Aircraft Engines Using Hybrid Model Based on Artificial Intelligence Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPHM ![In: International IEEE Conference on Prognostics and Health Management, ICPHM 2021, Detroit, MI, USA, June 7-9, 2021, pp. 1-10, 2021, IEEE, 978-1-6654-1970-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
44 | Unit Three Kartini, Chao-Rong Chen |
Short Term Forecasting of Global Solar Irradiance by k-Nearest Neighbor Multilayer Backpropagation Learning Neural Network Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGSP ![In: Proceedings of the International Conference on Graphics and Signal Processing, ICGSP '17, Singapore, June 24-27, 2017, pp. 96-100, 2017, ACM, 978-1-4503-5239-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
43 | Marianne Bays |
Impact of IS alignment strategies on organizational perceptions of quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 379-390, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
IS alignment strategies, information systems alignment strategies, organizational perceptions, business unit needs, IS producer unit, IS customer unit, JAD, Canadian organizations, US organizations, software engineering, information systems, software quality, project management, business data processing, project planning, application development, management of change, coordination mechanisms, survey research, information systems quality |
43 | Zhao Zhang 0002, Xiaofeng Gao 0001, Weili Wu 0001, Ding-Zhu Du |
PTAS for Minimum Connected Dominating Set in Unit Ball Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings, pp. 154-161, 2008, Springer, 978-3-540-88581-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wireless sensor network, connected dominating set, unit ball graph |
43 | Motohiro Nakanishi, Michihiro Kobayakawa, Mamoru Hoshi, Tadashi Ohmori |
A method for extracting a musical unit to phrase music data in the compressed domain of TwinVQ audio compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 584-587, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Laplacian filter, musical unit extraction, music data phrase, TwinVQ audio compression, autocorrelation sequence |
42 | Yuyu Yuan, Pingping Qu |
Theoretical Study of the Personal Capability Improvement in Unit Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 155-162, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Jean-Pierre H. Laurent, Agnes Lanusse, Bernard Pierre Panet |
Distributed artificial intelligence: a necessary paradigm for supervising production management activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (1) ![In: Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA - Volume 1, pp. 326-335, 1989, ACM, 0-89791-320-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Common Lisp |
39 | Atul Gupta, Pankaj Jalote |
Test Inspected Unit or Inspect Unit Tested Code? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, ESEM 2007, September 20-21, 2007, Madrid, Spain, pp. 51-60, 2007, ACM / IEEE Computer Society, 0-7695-2886-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Markus Gälli, Michele Lanza, Oscar Nierstrasz, Roel Wuyts |
Ordering Broken Unit Tests for Focused Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 114-123, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
debugging, Unit testing |
39 | Thomas Kittsteiner, Axel Ockenfels |
On the Design of Simple Multi-unit Online Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Negotiation, Auctions, and Market Engineering ![In: Negotiation, Auctions, and Market Engineering, International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers, pp. 68-71, 2006, Springer, 978-3-540-77553-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Zhong Jie Li, Wei Sun 0001 |
BPEL-Unit: JUnit for BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings, pp. 415-426, 2006, Springer, 3-540-68147-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Károly Bezdek |
Improving Rogers' Upper Bound for the Density of Unit Ball Packings via Estimating the Surface Area of Voronoi Cells from Below in Euclidean d-Space for All d>=8. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 28(1), pp. 75-106, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Wei Li, Deren Sheng, Jianhong Chen, Zhenfu Yuan, Kefa Cen |
A New Method Based on Immune Algorithm to Solve the Unit Commitment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 840-846, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Unit Commitment Problem(UCP), Thermal Unit, Optimization, Immune Algorithm |
36 | Aixin Sun, Ee-Peng Lim |
Web unit mining: finding and classifying subgraphs of web pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, New Orleans, Louisiana, USA, November 2-8, 2003, pp. 108-115, 2003, ACM, 1-58113-723-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
web unit, web unit mining, web classification |
36 | Martin Bichler, Hannes Werthner |
A Classification Framework of Multidimensional, Multi-Unit Procurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 1003-1009, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multidimensional multi-unit procurement negotiations, qualitative attributes, competitive source selection, bidding competition, price dimension, homogeneous goods, procurement situations, complex auction mechanisms, buyer, multi-attribute auction mechanisms, multi-unit negotiation situations, Internet, electronic commerce, electronic commerce, information technology, contract, application domains, scoring rule, multi-attribute auctions, classification framework, procurement auctions |
36 | Jerome R. Bellegarda |
Globally Optimal Training of Unit Boundaries in Unit Selection Text-to-Speech Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(3), pp. 957-965, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Mathias Ricken, Robert Cartwright |
ConcJUnit: unit testing for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009, pp. 129-132, 2009, ACM, 978-1-60558-598-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, unit testing, JUnit |
36 | Yonatan Cohen, Jaroslav Opatrny |
A local algorithm for dominating sets of quasi-unit disk graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 223-231, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
quasi-unit disk graph, tiling, ad-hoc wireless network, local algorithm, dominating set, geometric graph |
36 | Madeleine M. Lowery, Zeynep Erim |
A Simulation Study to Examine the Effect of Common Motoneuron Inputs on Correlated Patterns of Motor Unit Discharge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 19(2), pp. 107-124, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
motor unit, common drive, model, synchronization |
36 | Koushik Sen, Darko Marinov, Gul Agha |
CUTE: a concolic unit testing engine for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 263-272, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing |
36 | X. M. Tang, J. Li, Chun Lu, Q. H. Cheng |
Numerical analysis of jacking operations for a self-elevated jack-up unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 19(2-3), pp. 152-159, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Contact algorithm, FE analysis, Jack-up unit, Leg fixity, Non-linear analysis, Rack phase difference |
36 | Jie Gao 0001, Li Zhang 0001 |
Well-separated pair decomposition for the unit-disk graph metric and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego, CA, USA, pp. 483-492, 2003, ACM, 1-58113-674-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
well separated pair decomposition, approximation algorithm, unit-disk graph |
36 | Chuan-Yu Wang, Kaushik Roy 0001 |
Control unit synthesis targeting low-power processors. ![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. 454-459, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
control unit synthesis, low-power processors, low-power decoding scheme, microprogrammed architecture, nanoprogrammed architecture, 8086 instruction set, instruction opcodes, computer architecture, logic design, encoding, decoding, microprocessor chips, graph embedding, instruction sets, microprogramming, CMOS circuits, logic minimization, system reliability, switching activity, minimisation of switching nets, pseudo-Boolean programming |
35 | Tao Xie 0001, David Notkin |
Tool-assisted unit-test generation and selection based on operational abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 13(3), pp. 345-371, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Tao Xie 0001, David Notkin |
Tool-Assisted Unit Test Selection Based on Operational Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 40-48, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Otfried Cheong, Xavier Goaoc, Andreas F. Holmsen |
Hadwiger and Helly-type theorems for disjoint unit spheres in R3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 21st ACM Symposium on Computational Geometry, Pisa, Italy, June 6-8, 2005, pp. 10-15, 2005, ACM, 1-58113-991-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Hadwiger theorem, Helly theorem, unit ball, unit sphere, line transversal |
32 | Jerome R. Bellegarda |
Unit-Centric Feature Mapping for Inventory Pruning in Unit Selection Text-to-Speech Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 16(1), pp. 74-82, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Chih-Hao Sun, Ka-Hang Lok, You-Ming Tsao, Chia-Ming Chang, Shao-Yi Chien |
CFU: multi-purpose configurable filtering unit for mobile multimedia applications on graphics hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High Performance Graphics ![In: Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on High Performance Graphics 2009, New Orleans, Louisiana, USA, August 1-3, 2009, pp. 29-36, 2009, Eurographics Association, 978-1-60558-603-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
configurable filtering unit, texture filtering, streaming architecture |
32 | Jingwen Tian, Meijuan Gao, Shi-Ru Zhou, Fan Zhang |
Energy-Saving Control System of Beam-Pumping Unit Based on Radial Basic Function Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 858-865, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Beam-pumping unit, Radial basic function network, Energy-saving, Control system |
32 | Hong Hee Lee, Gwan Su Kim, Jung Hoon Lee, Byung Jin Kim |
Real-Time Communications on IEC 61850 Process Bus Based Distributed Sampled Measured Values Applications in Merging Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 1250-1257, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SV, Merging Unit, IRIG-B, Time Synchronization, IEC 61850 |
32 | Michael Ellims, James Bridges, Darrel C. Ince |
The Economics of Unit Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(1), pp. 5-31, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software testing, Unit testing, Test effectiveness, Adequacy criteria |
32 | Per Runeson |
A Survey of Unit Testing Practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(4), pp. 22-29, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test practice, survey, unit testing |
32 | Zhihuai Xiao, Shuqing Wang, Hongtao Zeng, Xiaohui Yuan |
Identifying of Hydraulic Turbine Generating Unit Model Based on Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 113-117, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hydraulic turbine generating unit, model identifying, RBF neural network |
32 | James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li |
Tool support for randomized unit testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Testing ![In: Proceedings of the 1st International Workshop on Random Testing, RT 2006, Portland, Maine, USA, July 20, 2006, pp. 36-45, 2006, ACM, 1-59593-457-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
randomized testing, unit testing |
32 | Fabian Kuhn, Aaron Zollinger |
Ad-hoc networks beyond unit disk graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIALM-POMC ![In: Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, San Diego, CA, USA, September 19, 2003, pp. 69-78, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
modeling, ad-hoc networks, mobile computing, wireless communication, flooding, unit disk graphs, geometric routing, face routing |
32 | Robert Yung |
Design Decisions Influencing the UltraSPARC's Instruction Fetch Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 29, Paris, France, December 2-4, 1996, pp. 178-190, 1996, ACM/IEEE Computer Society, 0-8186-7641-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
UltraSPARC, fast cycle time, in-cache prediction, instruction fetch architecture, instruction fetch unit, lower cycle-per-instruction, predictive set-associative cache, prefetch and dispatch unit, trade-off decisions, computer architecture, microprocessor |
32 | Gabor Szeder |
Unit testing for multi-threaded Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java |
32 | Libo Huang, Li Shen 0007, Kui Dai, Zhiying Wang 0003 |
A New Architecture For Multiple-Precision Floating-Point Multiply-Add Fused Unit Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 25-27 June 2007, Montpellier, France, pp. 69-76, 2007, IEEE Computer Society, 0-7695-2854-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Jamal-Eddine Elkhamlichi, Françoise Guegot, Jean-Pierre Pécuchet |
Iterative and Participative Building of the Learning Unit According to the IMS-Consortium Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings, pp. 790-793, 2006, Springer, 3-540-35159-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Alex Olwal, Steven Feiner |
Unit: modular development of distributed interaction techniques for highly interactive user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 2nd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2004, Singapore, June 15-18, 2004, pp. 131-138, 2004, ACM, 1-58113-883-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
virtual reality, augmented reality, interaction techniques, mixed reality, visual programming, dataflow programming |
32 | Chichyang Chen, Liang-An Chen, Jih-Ren Cheng |
Architectural Design of a Fast Floating-Point Multiplication-Add Fused Unit Using Signed-Digit Addition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 4-6 September 2001, Warsaw, Poland, pp. 346-353, 2001, IEEE Computer Society, 0-7695-1239-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Tassos Markas, Mark Royals, Nick Kanopoulos |
Design and DCVS implementation of a self-checking bus-monitor unit for highly reliable fault-tolerant system configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 2(2), pp. 149-156, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Chin-Liang Chang |
The Unit Proof and the Input Proof in Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 17(4), pp. 698-707, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
29 | Minghui Dong, Ling Cen, Paul Y. Chan, Haizhou Li 0001 |
Refining Unit Boundaries for Mandarin Text-to-Speech Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IALP ![In: 2009 International Conference on Asian Language Processing, IALP 2009, Singapore, December 7-9, 2009, pp. 245-248, 2009, IEEE Computer Society, 978-0-7695-3904-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
unit selection, unit boundary, optimization, speech synthesis |
29 | Herman Lam, Chiang Lee, Stanley Y. W. Su |
A Special Function Unit for Database Operations (SFU-DB): Design and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(3), pp. 263-275, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
special function unit, SFU-DB, hardware sorting module, automatic retrieval memory, nonnumeric operations, host CPU, special processing unit, distribution-based sort algorithm, main memory size, fundamental sort algorithm, CMOS gate arrays, performance evaluation, performance evaluation, parallel algorithms, computational complexity, database management systems, sorting, execution time, coprocessor, special purpose computers, fabrication, worst case complexity, Turbo Pascal, parallel processing system, duplicates elimination, database operations, set intersection, set union, set difference, relational join |
29 | Ramón D. Acosta, Jacob Kjelstrup, Hwa C. Torng |
An Instruction Issuing Approach to Enhancing Performance in Multiple Functional Unit Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(9), pp. 815-828, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
processor performance enhancement, Dispatch stack, instruction issuing, instruction unit, multiple functional unit processors, multiple instruction dispatching, dynamic instruction scheduling |
29 | Nikolai Tillmann, Wolfram Schulte |
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(4), pp. 38-47, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test coverage of code, formal methods, validation, symbolic execution, testing tools, test design |
29 | Hui Wu, Jeffrey G. Gray, Marjan Mernik |
Unit Testing for Domain-Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 125-147, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Domain-specific languages, unit testing, tool generation |
29 | Vadim V. Lozin |
From Tree-Width to Clique-Width: Excluding a Unit Interval Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 871-882, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unit interval graphs, Fixed parameter tractability, Tree-width, Clique-width |
29 | Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape |
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 15-26, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
unit testing, symbolic execution, software model checking, system testing |
29 | Xiaofeng Gao 0001, Yaochun Huang, Zhao Zhang 0002, Weili Wu 0001 |
(6+epsilon)-Approximation for Minimum Weight Dominating Set in Unit Disk Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, pp. 551-557, 2008, Springer, 978-3-540-69732-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Approximation algorithm, Dominating Set, Unit Disk Graph |
29 | Jurek Czyzowicz, Stefan Dobrev, Evangelos Kranakis, Jaroslav Opatrny, Jorge Urrutia |
Local Edge Colouring of Yao-Like Subgraphs of Unit Disk Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity, 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings, pp. 195-207, 2007, Springer, 978-3-540-72918-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Edge Colouring, Wedge, Wireless Network, Location Awareness, Local Algorithm, Unit Disk Graphs, Geometric Graphs |
29 | Longchuan Yan, Jun Du, Qingming Huang, Shuqiang Jiang |
Story Unit Segmentation with Friendly Acoustic Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCAM ![In: Multimedia Content Analysis and Mining, International Workshop, MCAM 2007, Weihai, China, June 30 - July 1, 2007, Proceedings, pp. 223-231, 2007, Springer. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Story Unit Segmentation, Acoustic Perception, SVM, Video Processing |
29 | Francisco J. Martínez-Estudillo, César Hervás-Martínez, Pedro Antonio Gutiérrez Peña, Alfonso C. Martínez-Estudillo, Sebastián Ventura |
Evolutionary Product-Unit Neural Networks for Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings, pp. 1320-1328, 2006, Springer, 3-540-45485-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Product-Unit, Classification, Evolutionary Neural Networks |
29 | Ming Wu, Xiao-Ming Dong, Huaiyang Li |
Queue Network Modeling Approach to Analysis of the Optimal Stripe Unit Size for Disk Arrays under Synchronous I/O Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWNAS ![In: 2006 International Workshop on Networking, Architecture and Storages (IWNAS 2006), 1-3 August 2006, Shenyang, China, pp. 36-42, 2006, IEEE Computer Society, 0-7695-2651-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
stripe unit size, simulation, RAID, disk arrays, queue network model |
29 | Richard Carlsson, Mickaël Rémond |
EUnit: a lightweight unit testing framework for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 1, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
frameworks, unit testing, Erlang, agile methods |
29 | Sean Hallgren |
Fast quantum algorithms for computing the unit group and class group of a number field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 468-474, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
class group, computational algebraic number theory, unit group, quantum algorithms |
29 | Hong-Zhong Huang, Xu Zhang, Zhigang Tian, Chunsheng Liu, Ying-Kui Gu |
Optimal Design of Conic-Cylindrical Gear Reduction Unit Using Fuzzy Physical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 191-200, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
conic-cylindrical gear reduction unit, physical programming, fuzzy physical programming, multiobjective optimization |
29 | Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer |
Unit disk graph approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIALM-POMC ![In: Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, Philadelphia, PA, USA, October 1, 2004, pp. 17-23, 2004, ACM, 1-58113-921-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, ad hoc networks, embedding, unit disk graph, virtual coordinates |
29 | Kenji Terada, Makoto Yokoo |
False-name-proof multi-unit auction protocol utilizing greedy allocation based on approximate evaluation values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 337-344, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
false-name-proof, multi-unit auction, mechanism design |
29 | Ambreen Shahnaz, Thomas Erlebach |
Approximating fault-tolerant Steiner subgraphs in heterogeneous wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 529-533, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
2-edge-connected Steiner subgraph, quasi unit disk graph, unit disk graph |
29 | Sriram V. Pemmaraju, Imran A. Pirwani |
Energy conservation via domatic partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 7th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2006, Florence, Italy, May 22-25, 2006, pp. 143-154, 2006, ACM, 1-59593-368-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domatic partition, growth-bounded graphs, distributed algorithms, metric space, dominating sets, unit disk graphs, maximal independent sets, network decomposition, doubling dimension, unit ball graphs |
29 | Patrick Lanvin, Jean-Charles Noyer, Mohammed Benjelloun |
An hardware architecture for 3D object tracking and motion estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 326-329, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
real-time use, 3D object tracking, central processing unit, consumer-market computer, distributed algorithm, motion estimation, computer aided design, graphics processing unit, GPU, hardware architecture, CPU, CAD model, monocular image sequence, sequential Monte Carlo method |
29 | Gordon S. Novak |
Conversion of Units of Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(8), pp. 651-661, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Unit conversion, unit of measurement, data type, dimensional analysis |
28 | Junichi Akita |
Matrix LED unit with pattern drawing and extensive connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Emerging Technologies ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2010, Los Angeles, California, USA, July 26-30, 2010, Emerging Technologies Proceedings, 2010, ACM, 978-1-4503-0392-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde |
Carving and Replaying Differential Unit Test Cases from System Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(1), pp. 29-45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Tomás Lang, Alberto Nannarelli |
Division Unit for Binary Integer Decimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 20th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2009, July 7-9, 2009, Boston, MA, USA, pp. 1-7, 2009, IEEE Computer Society, 978-0-7695-3732-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Charles H.-P. Wen, Li-C. Wang, Jayanta Bhadra |
An incremental learning framework for estimating signal controllability in unit-level verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 250-257, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai |
GenUTest: A Unit Test and Mock Aspect Generation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 252-266, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Claus A. Christensen, Steen Gundersborg, Kristian de Linde, Kristian Torp |
A Unit-Test Framework for Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Tenth International Database Engineering and Applications Symposium (IDEAS 2006), 11-14 December 2006, Delhi, India, pp. 11-20, 2006, IEEE Computer Society, 0-7695-2577-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil |
Carving differential unit test cases from system test cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 253-264, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
carving and replay, regression testing, automated test generation |
28 | Roy Billinton, Dange Huang |
Peaking Unit Considerations in Generating Capacity Adequacy Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 386-389, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Christoph Ambühl, Thomas Erlebach, Matús Mihalák, Marc Nunkesser |
Constant-Factor Approximation for Minimum-Weight (Connected) Dominating Sets in Unit Disk Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006, Proceedings, pp. 3-14, 2006, Springer, 3-540-38044-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Xiaodong Gu 0001, Liming Zhang 0001 |
Global Icons and Local Icons of Images Based Unit-Linking PCNN and Their Application to Robot Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II, pp. 836-841, 2005, Springer, 3-540-25913-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Guoqing Xu 0001, Zongyuan Yang, Haitao Huang, Qian Chen II, Ling Chen, Fengbin Xu |
JAOUT: Automated Generation of Aspect-Oriented Unit Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 374-381, 2004, IEEE Computer Society, 0-7695-2245-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Marc Padellini, François Capman, Geneviève Baudoin |
Dynamic Unit Selection for Very Low Bit Rate Coding at 500 bits/sec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings, pp. 417-424, 2004, Springer, 3-540-23049-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Yoonsik Cheon, Gary T. Leavens |
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 231-255, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Ajay Naini, Atul Dhablania, Warren James, Debjit Das Sarma |
1-GHz HAL SPARC64 Dual Floating Point Unit with RAS Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 11-17 June 2001, Vail, CO, USA, pp. 173-183, 2001, IEEE Computer Society, 0-7695-1150-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Min Chu, Yunjia Wang |
Rhythmic Organization of Mandarin Utterances - A Two-Stage Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSLP ![In: Chinese Spoken Language Processing, 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings, pp. 138-148, 2006, Springer, 3-540-49665-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
prosodic hierarchy, prosodic phrasing, principle prosodic unit, syntactic constraint, length constraint |
28 | J. Nierwinski |
Reliability Sampling Methodology Using Simulation and Re-Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 56(1), pp. 125-131, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Bhupender Parashar, Gulshan Taneja |
Reliability and Profit Evaluation of a PLC Hot Standby System Based on a Master-Slave Concept and Two Types of Repair Facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 56(3), pp. 534-539, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Peter Wegner |
Granularity of modules in object-based concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 46-49, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Jin Akiyama, Rika Mochizuki, Nobuaki Mutoh, Gisaku Nakamura |
Maximin Distance for n Points in a Unit Square or a Unit Circle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDCG ![In: Discrete and Computational Geometry, Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers, pp. 9-13, 2002, Springer, 3-540-20776-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Renate Scheidler, Andreas Stein |
Unit Computation in Purely Cubic Function Fields of Unit Rank 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: Algorithmic Number Theory, Third International Symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998, Proceedings, pp. 592-606, 1998, Springer, 3-540-64657-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Zvonimir Rakamaric |
STORM: static unit checking of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 519-520, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
unit checking, static analysis, concurrent programs |
25 | Hamid Zarrabi-Zadeh, Timothy M. Chan |
An Improved Algorithm for Online Unit Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 54(4), pp. 490-500, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unit clustering, Randomized algorithms, Online algorithms |
25 | Carlo Galuzzi, Chunyang Gou, Humberto Calderon, Georgi Gaydadjiev, Stamatis Vassiliadis |
High-bandwidth Address Generation Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 57(1), pp. 33-44, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Address generation unit, Stride, Parallel memory |
25 | Konrad J. Swanepoel |
Unit Distances and Diameters in Euclidean Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(1), pp. 1-27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Erd?s problem, Unit distance problem, Lenz construction, Erd?s-Simonovits stability theorem, Erd?s-Stone theorem, Diameters, Combinatorial geometry |
25 | Shusheng Li, Zhao-hui Liang |
Multiple Trend Breaks and Unit Root Hypothesis: Empirical Evidence from China's GDP(1952-2006). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III, pp. 993-999, 2009, Springer, 978-3-642-01512-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unit Root, Multiple Trend Breaks, ADF Test |
25 | Xianyue Li, Xiaofeng Gao 0001, Weili Wu 0001 |
A Better Theoretical Bound to Approximate Connected Dominating Set in Unit Disk Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings, pp. 162-175, 2008, Springer, 978-3-540-88581-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Minimum Independent Set, Connected Dominating Set, Unit Disk Graph |
25 | Jixuan Yuan, Qibai Huang, Zhanxin Liu, Li Hu, Ruiqiang Wang |
An Application of Psychoacoustic Metrics to Improve Sound Quality of Fission Air-Conditioning Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 1183-1191, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Sound Quality, Fission Air-conditioning Unit, Psychoacoustics |
25 | Hanna Scott, Claes Wohlin |
Capture-recapture in software unit testing: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, ESEM 2008, October 9-10, 2008, Kaiserslautern, Germany, pp. 32-40, 2008, ACM, 978-1-59593-971-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
prediction, unit test, failures, faults, capture-recapture |
Displaying result #1 - #100 of 19382 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|